Use JDK 1.7 everywhere