initial implementation of automatic generation of jdk annotations