Make sure we always use Java 1.6