web skeleton, jetty hot deployment fix (via webdefault.xml)