public String getDocumentEncoding(int nodeHandle) { if (_dom != null) { return _dom.getDocumentEncoding(nodeHandle); } else { return super.getDocumentEncoding(nodeHandle); } }