Domino OSGI Servlet registration