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

See <http://ares.boundlessgeo.com/jenkins/job/geoserver-master/4470/changes&gt;