switch to Java 7