another fix for non geonetwork servlets