make geofence work with geoserver 2.5.1