Does anyone know which JVM they're using? I've heard lots recommend Oracle over OpenJDK for performance reasons.