[Geoserver-devel] Jenkins build is back to normal : geoserver-2.5.x #95

See <http://ares.opengeo.org/jenkins/job/geoserver-2.5.x/95/changes&gt;