document changes for jvm.options, java_main and v6 push commands