Fix strange characters in AST.java.