PID file finding of Tomcat init scripts in oi3-bas, oi3-tomee, oi3-portal and oi3-portal-sso enhanced