fixed (hopefully) 2nd glitch in tomcat7pid