Disabling old versions of servlet-api