revert to Java 6