public final static String DEFAULT_LABEL = "Refresh the distribution view";
public final static ImageDescriptor DEFAULT_ICON = DistPlugin
.getImageDescriptor("icons/refresh.png");
public final static String DEFAULT_LABEL = "Refresh the distribution view";
public final static ImageDescriptor DEFAULT_ICON = DistPlugin
.getImageDescriptor("icons/refresh.png");