+ /* DISTRIBUTIONS */
+ public final static Image IMG_DISTGRP = DistPlugin.getImageDescriptor(
+ "icons/distGrp.gif").createImage();
+ public final static Image IMG_DISTGRP_READONLY = DistPlugin
+ .getImageDescriptor("icons/distGrpReadOnly.gif").createImage();
+
+ public final static Image IMG_GROUP_BASE = DistPlugin.getImageDescriptor(
+ "icons/packages.gif").createImage();
+
+ public final static Image IMG_WKSP_GROUP = DistPlugin.getImageDescriptor(
+ "icons/wkspGroup.gif").createImage();
+