working mix java config and web.xml definition to work with jetty