Delete NonTerminal.java~