#1, #2: Fixes for setting jvmOptions and serverEnv parameters