[Geotools-builds] Jenkins build is back to normal : geotools-main #1241

[Jenkins <gtb...@gm...>]

See <https://build.geoserver.org/job/geotools-main/1241/display/redirect?page=changes>