Fix spelling of ServletRequestContext.getCurrentServletContext()/setCurrentServletContext()