[Geoserver-devel] Jenkins build is back to normal : geoserver-master #1425

[Hudson]

See <http://ares.opengeo.org/jenkins/job/geoserver-master/1425/&gt;