update geoserver extensions revision