cegeka/puppet-tomcat — pull request #45 by fdammeke (2013-11-21 11:16:56+00:00)
Title: Don't kill the tomcat process on stop and add the correct PID

Removed the pkill commands from the init script, if tomcat doesn't stop normally, there must be something wrong & investigated.
Added the correct PID to the PID file if multiple java processes run under the same instance name.