WAB Extender: Process web xml file