upgrade to geoserver 2.3.1