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