Migrate annotations from the JavaTreeMaker