Prefer OpenJDK7 for the time being.