Use OpenJDK 7 by default