@Override
    public void setFraction(double fraction) {
      super.setFraction(fraction);
      myProgressBar.setMinimum(0);
      myProgressBar.setMaximum(100);
      myProgressBar.setValue((int)(fraction * 100));
    }
@Override
    public void setFraction(double fraction)