Better cross-platform compatibility, default to OpenJDK 7.