diff -r 46e21d060650 -r fe008e95a716 sbin/res/app/handlers/XMLDOC/XMLDoc.js
--- a/sbin/res/app/handlers/XMLDOC/XMLDoc.js	Fri Dec 23 10:59:23 2011 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-LOG.inform("XMLDOC.symbolize loaded");
-
-/**
- * Convert the source file to a set of symbols
- */
-XMLDOC.symbolize = function(srcFile, src) {
-
-   LOG.inform("Symbolizing file '" + srcFile + "'");
-
-   // XML files already have a defined structure, so we don't need to
-   // do anything but parse them.  The DOM reader can create a symbol
-   // table from the parsed XML.
-   var dr = new XMLDOC.DomReader(XMLDOC.Parser.parse(src));
-   return dr.getSymbols(srcFile);
-
-};