Update NonTerminal.java