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();
 }