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

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

See <https://build.geoserver.org/job/geotools-main/1213/display/redirect>