Final versions of Ast1.java and Ast2.java (I think).