100101102103104105106107108109110
} private ImageDescriptor getImageDescriptor(HistoryDefinitionLocation elem) { JavaElementImageProvider imageProvider= new JavaElementImageProvider(); ImageDescriptor desc = JavaPluginImages.DESC_FIELD_DEFAULT; imageProvider.dispose(); return desc; } /* * @see Action#run()