jboss ws defaultservlet name == default