198199200201202203204205206207208
* */ public synchronized void dispose() { if (!disposed) { disposed = true; changeSupport.fireEvent(new DisposeEvent(this)); changeSupport.dispose(); changeSupport = null; lastListenerRemoved(); } }
151152153154155156157158159160
} public synchronized void dispose() { if (!disposed) { disposed = true; changeSupport.fireEvent(new DisposeEvent(this)); changeSupport.dispose(); changeSupport = null; } }