[java-sig-commits] [Bug 863307] changing CATALINA_PID causes tomcat not to start up