Split greenstone servlets into another file (servlets.xml) which is included in web.xml as an XML entity