Re: [MacPorts] #18882: tomcat6 tomcatctl uses tomcat5.pid