Rename jvm-args option to java-options

We still have "jvm" in one of our command line arguments (and correspondingly, a key in the properties file).

  --add-launcher <file path>
          Path to a Properties file that contains list of key, value pairs
          (absolute path or relative to the current directory)
          The keys "name" (required), "module", "add-modules",
          "main-jar", "main-class", "arguments", "jvm-args",
...
  --jvm-args <java vm arguments>
          Java arguments to pass to the virtual machine


These would be more accurately stated as "Java" options rather than jvm arguments. Can we get this changed? Something like:

--java-options <java options>
           Options to pass to the Java runtime

Additionally, there is a "[JVMOptions]" section in the .cfg file that should be changed to "[JavaOptions]".