- fixed an issue that can cause tomcat to never be restartable should the default JVM options be busted at some point