added two hacks to XML.java to support Doc.java