Servlet namespace problem