update to Java 7