Edit JavaDoc in Grammar.java.