I'm not sure why these servlet classes were inlined, but off they go