revert antlr-3.1.3