AutoJava code automatically generates a green version