Upgrade to GeoServer 2.5.2