Update to GeoServer 2.4.2
Merge branch 'develop' of https://github.com/geonetwork/core-geonetwork into develop