}
public static void fire(final ElementChangedEvent extraEvent) {
for (int i = 0; i < elementChangedListenerCount; i++) {
if ((elementChangedListenerMasks[i] & extraEvent.getType()) != 0) {
final IElementChangedListener listener = elementChangedListeners[i];
// wrap callbacks with Safe runnable for subsequent listeners to
// be called when some are causing grief
SafeRunner.run(new ISafeRunnable() {
public void handleException(Throwable exception) {
// Util.log(exception, "Exception occurred in listener
// of Java element change notification"); //$NON-NLS-1$
}
public void run() throws Exception {
listener.elementChanged(extraEvent);
}
});
}
}