private void idle() {
   optimizing.setValue("false");
   optimizeButton.setEnabled(true);
 }
 private void optimizing() {
   optimizing.setValue("true");
   optimizeButton.setEnabled(false);
 }