protected void fireMapChange(MapDiff diff) { checkRealm(); // fire general change event first super.fireChange(); fireEvent(new MapChangeEvent(this, diff)); }
public synchronized void dispose() { super.dispose(); }