docs: private void rightFringe(
      DeleteStack.Linearizer       lxx,
      DeleteStack.FringeNote      xx,
      InsertStack   istack,
      GBSNode       f,
      GBSNode       g,
      boolean       gLeft)
    {
  
      GBSNode w = f.leftChild();     /* The left brother of delete fringe     */
      GBSNode s = f.rightChild();    /* t0 fringe from which we deleted       */
      int fbalance = f.balance();
      f.clearBalance();
      if (w == null)                 /* There is no left brother              */
        {
          boolean bLeft = true;
          if (g.rightChild() == f) {
            bLeft = false;
          }
          f.setRightChild(linearize(lxx, s));
          int maxBal = f.kFactor() - 1;
          if (maxBal < 3) {
            maxBal = 3;
          }
          istack.start(g, "GBSDeleteFringe.rightFringe");
          istack.setNode(1, null);
          istack.resetBalancePointIndex();
          int fpidx = 1;
          GBSInsertFringe.singleInstance().balance(
                        g.kFactor(), istack, f, fpidx, maxBal);
          xx.newg = g;
          if (bLeft) {
            xx.newf = g.leftChild();
          }
          else {
            xx.newf = g.rightChild();
          }
          xx.depthDecrease = true;
        }
      else                           /* There is a left brother               */
        {                            /* Elevate the left brother to the       */
          xx.newg = g;               /*  position of the current father.      */
          if (g.leftChild() == f) {  /*  This is an LL rotation to make up    */
            g.setLeftChild(w);       /*  for the disappearance of the         */
          }                          /*  right brother.                       */
          else {
            g.setRightChild(w);
          }
          f.setLeftChild(null);
          GBSNode p = w.rightMostChild();
          f.setRightChild(linearize(lxx, s));/* [f, s]                        */
          combine(p, f);             /* Now [w, f, s]. lastFringe cleans up   */
          xx.newf = w;               /* Remember new father                   */
          rightDepth(xx, fbalance);  /* Check for depth decrease              */
        }
    }