ShowModelCheckerTool_ActionGroup.java

package jetbrains.mps.ide.modelchecker.actions;

/*Generated by MPS */

import jetbrains.mps.plugins.actions.GeneratedActionGroup;

public class ShowModelCheckerTool_ActionGroup extends GeneratedActionGroup {
  public static final String ID = "jetbrains.mps.ide.modelchecker.actions.ShowModelCheckerTool_ActionGroup";
  public ShowModelCheckerTool_ActionGroup() {
    super("ShowModelCheckerTool", ID);
    this.setIsInternal(false);
    this.setPopup(false);
    ShowModelCheckerTool_ActionGroup.this.addAction("jetbrains.mps.ide.modelchecker.actions.ShowModelChecker_Action");
  }
}