updated geoserver version number