uimaj-core/src/main/java/org/apache/uima/internal/util/rb_trees/Int2IntRBT.java [342:383]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    while ((x != root) && (color[getParent(x)] == red)) {
      final int parent_x = getParent(x);
      final int parent_parent_x = getParent(parent_x);
      if (parent_x == getLeft(parent_parent_x)) {
        final int y = getRight(parent_parent_x);
        if (color[y] == red) {
          color[parent_x] = black;
          color[y] = black;
          color[parent_parent_x] = red;
          x = parent_parent_x;
        } else {
          if (x == getRight(parent_x)) {
            x = parent_x;
            leftRotate(x);
          }
          final int parent2_x = getParent(x);
          color[parent2_x] = black;
          final int parent2_parent2_x = getParent(parent2_x);
          color[parent2_parent2_x] = red;
          rightRotate(parent2_parent2_x);
        }
      } else {
        final int y = getLeft(parent_parent_x);
        if (color[y] == red) {
          color[parent_x] = black;
          color[y] = black;
          color[parent_parent_x] = red;
          x = parent_parent_x;
        } else {
          if (x == getLeft(parent_x)) {
            x = parent_x;
            rightRotate(x);
          }
          final int parent2_x = getParent(x);
          color[parent2_x] = black;
          final int parent2_parent2_x = getParent(parent2_x);
          color[parent2_parent2_x] = red;
          leftRotate(parent2_parent2_x);
        }
      }
    }
    color[root] = black;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



uimaj-core/src/main/java/org/apache/uima/internal/util/rb_trees/IntArrayRBT.java [444:485]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    while ((x != root) && (color[getParent(x)] == red)) {
      final int parent_x = getParent(x);
      final int parent_parent_x = getParent(parent_x);
      if (parent_x == getLeft(parent_parent_x)) {
        final int y = getRight(parent_parent_x);
        if (color[y] == red) {
          color[parent_x] = black;
          color[y] = black;
          color[parent_parent_x] = red;
          x = parent_parent_x;
        } else {
          if (x == getRight(parent_x)) {
            x = parent_x;
            leftRotate(x);
          }
          final int parent2_x = getParent(x);
          color[parent2_x] = black;
          final int parent2_parent2_x = getParent(parent2_x);
          color[parent2_parent2_x] = red;
          rightRotate(parent2_parent2_x);
        }
      } else {
        final int y = getLeft(parent_parent_x);
        if (color[y] == red) {
          color[parent_x] = black;
          color[y] = black;
          color[parent_parent_x] = red;
          x = parent_parent_x;
        } else {
          if (x == getLeft(parent_x)) {
            x = parent_x;
            rightRotate(x);
          }
          final int parent2_x = getParent(x);
          color[parent2_x] = black;
          final int parent2_parent2_x = getParent(parent2_x);
          color[parent2_parent2_x] = red;
          leftRotate(parent2_parent2_x);
        }
      }
    }
    color[root] = black;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -