Use JDK7