Java 1.6 to Java 1.7 in tool-editor