JavaFE 是一个用来解析 Java 1.4 源码和 Java 1.5 字节码的程序，还包含一个 Eclipse 插件. It is used as a compiler front-end for several research tools, including ESC/Java2 and RCC. JavaFE has a partial formal specification and, because it is a hand-written lexer, parser, and type checker, is very efficient.
