Edit isDoubleBlack, added removeNextLargerSuccessor