Better control of the JVM used to launch Jenkins