public static void setCollapsedSize(PictogramElement pe, IDimension size) {
   setCollapsedSize(pe, size.getWidth(), size.getHeight());
 }
 public static void updateCollapsedSize(PictogramElement pe) {
   IDimension size = GraphicsUtil.calculateSize(pe);
   FeatureSupport.setCollapsedSize(pe, size);
 }