public void dispose() {
if (fWorkingSetImages != null) {
for (Iterator iter = fWorkingSetImages.values().iterator(); iter.hasNext(); ) {
((Image) iter.next()).dispose();
}
}
super.dispose();
}
public void dispose() {
JFaceResources.getColorRegistry().removeListener(fColorRegistryListener);
fColorRegistryListener = null;
super.dispose();
}