Fix refreshing when hawtio is deployed to tomcat/jetty via a filter that just returns index.html for unknown URIs