geoserver/geoserver — pull request #227 by aaime (2013-05-05 15:26:17+00:00)
Title: [GEOS-4014] servlet-api-2.4.jar) - jar not loaded. See Servlet Spec 2.3,...

... section 9.7.2.