code: final public int makeNodeHandle(int nodeIdentity)
    {
      if(NULL==nodeIdentity) return NULL;
  		
      if(JJK_DEBUG && nodeIdentity>DTMManager.IDENT_NODE_DEFAULT)
        System.err.println("GONK! (only useful in limited situations)");
  
      return m_dtmIdent.elementAt(nodeIdentity >>> DTMManager.IDENT_DTM_NODE_BITS)
        + (nodeIdentity & DTMManager.IDENT_NODE_DEFAULT) ;											
    }
docs: Given a node identity, return a node handle. If extended addressing
  has been used (multiple DTM IDs), we need to map the high bits of the
  identity into the proper DTM ID.
  
  This has been made FINAL to facilitate inlining, since we do not expect
  any subclass of DTMDefaultBase to ever change the algorithm. (I don't
  really like doing so, and would love to have an excuse not to...)
  
  %REVIEW% Is it worth trying to specialcase small documents?
  %REVIEW% Should this be exposed at the package/public layers?
  
  @param nodeIdentity Internal offset to this node's records.
  @return NodeHandle (external representation of node)