我需要一个IntervalTree或Java中的RangeTree实现，但很难找到具有有效删除支持的实现。在sun.jvm.hotspot.utilities.IntervalTree处有一个内置的，但是deleteNodeRBTree父类(superclass)中的方法声明:/***FIXME:thisdoesnotworkproperlyyetforaugmentedred-black*treessinceitdoesn'tupdatenodes.Needtofigureoutexactly*fromwhichpointsweneedtopropagateupdatesupward