code: private RedBlackTreeNode<Key, Value> rotateRight(RedBlackTreeNode<Key, Value> h) {
  	// assert (h != null) && h.getLeft().isRed();
  	RedBlackTreeNode<Key, Value> x = h.getLeft();
  	h.setLeft(x.getRight());
  	x.setRight(h);
  	x.setColor(x.getRight().getColor());
  	x.getRight().setColor(RED);
  	x.setSize(h.getSize());
  	h.setSize(size(h.getLeft()) + size(h.getRight()) + 1);
  	return x;
      }
docs: make a left-leaning link lean to the right