tomcat PID is now obtained using StringTokenizer