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