--- src/javavm.1.ori 2019-05-23 12:33:16.172643000 -0700 +++ src/javavm.1 2019-05-23 14:13:16.546969000 -0700 @@ -117,9 +117,17 @@ .Ql 1.5+ , .Ql 1.6 , .Ql 1.6+ , -.Ql 1.7 +.Ql 1.7 , +.Ql 1.7+ , +.Ql 1.8 , +.Ql 1.8+ , +.Ql 9 , +.Ql 9+ , +.Ql 11 , +.Ql 11+ , +.Ql 12 , and -.Ql 1.7+ . +.Ql 12+ . .It Ev JAVAVM_OPTS The contents of this environment variable will be passed to the invoked Java VM as options. --- src/javavmwrapper.sh.ori 2019-05-23 12:33:16.193859000 -0700 +++ src/javavmwrapper.sh 2019-05-23 14:16:14.177715000 -0700 @@ -501,16 +501,22 @@ for version in ${JAVA_VERSION}; do case "${version}" in 1.6+) - _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.6 1.7 1.8 1.9" + _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.6 1.7 1.8 9 11 12" ;; 1.7+) - _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.7 1.8 1.9" + _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.7 1.8 9 11 12" ;; 1.8+) - _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.8 1.9" + _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.8 9 11 12" ;; - 1.9+) - _JAVAVM_VERSION="${_JAVAVM_VERSION} 1.9" + 9+) + _JAVAVM_VERSION="${_JAVAVM_VERSION} 9 11 12" + ;; + 11+) + _JAVAVM_VERSION="${_JAVAVM_VERSION} 11 12" + ;; + 12+) + _JAVAVM_VERSION="${_JAVAVM_VERSION} 12" ;; *) _JAVAVM_VERSION="${_JAVAVM_VERSION} ${version}" --- src/manvm.1.ori 2019-05-23 12:33:16.200567000 -0700 +++ src/manvm.1 2019-05-23 14:14:07.319255000 -0700 @@ -105,9 +105,18 @@ .Ql 1.5+ , .Ql 1.6 , .Ql 1.6+ , -.Ql 1.7 +.Ql 1.7 , +.Ql 1.7+ , +.Ql 1.8 , +.Ql 1.8+ , +.Ql 9 , +.Ql 9+ , +.Ql 11 , +.Ql 11+ , +.Ql 12 , and -.Ql 1.7+ . +.Ql 12+ . + .It Ev JAVAVM_OPTS The contents of this environment variable will be passed to the invoked .Nm man