We need to implicitly change the JavaCharStream.java file to import CharStream from .gen and implement the CharStream interface. All other files require no change and can be generated directly using javacc TermParser.jj.