moved to Java 7