Editing of the java annotators.