changed servlet-api version to latest STABLE version