tomcat: stop doesn't fail if tomcat is already stopped