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