Operations on the Java abstract syntax used by ATJ.
These operartions, like the abstract syntax of Java, are more general than ATJ and will be eventually moved to a new library for manipulating Java code. For now, these are parts of ATJ, which is their only user so far.