minor fix of JVM options