modifications to jvm.options destination