Use JDK 7