if ( !region.isDisposed() ) { //eseguire un'operazione...
}
}
}
Soluzione
Per evitare perdite di risorse, verificare che dispose() venga richiamato su ogni org.eclipse.swt.graphics.Region.
Nota: questa regola si applica a tutte le forme del costruttore Region.