Correcting javadoc error (javacc generates a comment with the invalid tag "<EOF>")