revert to Java 1.6