fix name of Java 1.7 version