use Java 1.7