use Java 7 by default