fixed (hopefully) glitch in tomcat7pid