docs: public boolean processNode(
      GBSNode       p)
    {
      boolean done = false;
      if ( !p.isFull() )             /* Node is not full                      */
        {                            /* We have a home for the migrating key  */
          _migrating = false;
          done = true;
          p.addLeftMostKey(_mkey);
        }
      else                           /* Node is full.  Insert new key at left */
        {                            /*  and migrate the old right-most key   */
          Object migrateKey = p.addLeftMostKey(_mkey);
          _mkey = migrateKey;
        }
  
      return done;
    }