Detect if a WAR is already deployed for Tomcat