option to set JVM parameters, especially system properties