code: private RedBlackTreeNode<Key, Value> moveRedRight(RedBlackTreeNode<Key, Value> h) {
  	// assert (h != null);
  	// assert isRed(h) && !h.getRight().isRed() && !isRed(h.right.left);
  	flipColors(h);
  	if (isRed(h.getLeft().getLeft())) {
  	    h = rotateRight(h);
  	    flipColors(h);
  	}
  	return h;
      }
docs: are black, make h.right or one of its children red.