webui page, servlet, web.xml, ignore /bin