void (Node<K> n) { if (!isBlack(n.sibling())) { n.getParent().setRed(); n.sibling().setBlack(); if (n == n.getParent().getLeft()) { rotateLeft(n.getParent()); } else { rotateRight(n.getParent()); } } deleteCase3(n); }