// private static final Log log = LogFactory.getLog(PublishWorkspace.class);
public final static String ID = DistPlugin.ID + ".publishWorkspace";
public final static String DEFAULT_LABEL = "Publish workspace";
// private static final Log log = LogFactory.getLog(PublishWorkspace.class);
public final static String ID = DistPlugin.ID + ".publishWorkspace";
public final static String DEFAULT_LABEL = "Publish workspace";