[cvs-nhc98] Replace 2-3-4 trees with Red-Black trees. (From Thomas No