geoserver 2.4.0

http://blog.geoserver.org/2013/09/20/geoserver-2-4-released/