Geoserver 2.5.2

Updates geoserver from 2.5 to 2.5.2