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

See <https://build.geoserver.org/job/geoserver-2.13.x/7/display/redirect&gt;