JavaFE is a Java front-end that parses Java 1.4 source code and Java 1.5 bytecode. 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.
