I've not noticed that before - weird that we have a dependency on the servlet spec.