/*
  * (non-Javadoc)
  *
  * @see
  * org.processmining.framework.models.hlprocess.gui.att.dist.HLDistributionGui
  * #updateGUI()
  */
 public void updateGUI() {
   if (parent instanceof HLConstantDistribution) {
     ((HLConstantDistribution) parent).setConstant(myConstant.getValue());
   } else if (parent instanceof HLGeneralDistribution) {
     ((HLGeneralDistribution) parent).setConstant(myConstant.getValue());
   }
 }
 /*
  * (non-Javadoc)
  *
  * @see
  * org.processmining.framework.models.hlprocess.gui.att.dist.HLDistributionGui
  * #getPanel()
  */
 public JPanel getPanel() {
   JPanel resultPanel = new JPanel();
   resultPanel.setLayout(new BoxLayout(resultPanel, BoxLayout.PAGE_AXIS));
   resultPanel.add(myConstant.getPropertyPanel());
   return resultPanel;
 }