void (OffsetKey key) { synchronized (myMap) { ProgressManager.checkCanceled(); LOG.assertTrue(!myDisposed); myModified.add(key); RangeMarker old = myMap.get(key); if (old != null) old.dispose(); myMap.remove(key); } }