Fix ServletContextImpl.getServletRegistration() bug