Fix for build break from servlets patch