upgrade to servlet spec 3.1