Update on code generator

executablecode/Makefile.src

-SRCS = generated_src/main.c generated_src/MeasurementDisplayer2.c generated_src/MeasurementDisplayer1.c generated_src/MeasurementGenerator.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/AlarmManager.c generated_src/MainController.c generated_src/Timer__alarmTimer__AlarmManager.c 
\ No newline at end of file

src/main/java/ui/window/JDialogUPPAALValidation.java

@@ -532,10 +532,11 @@ public class JDialogUPPAALValidation extends javax.swing.JDialog implements Acti
             for(JCheckBox cb: customChecks) {
                 nb = cb.isSelected() ? nb + 1 : nb ;
             }
-            boolean check = nb < customChecks.size()/2;
+            boolean check = (nb * 2) < customChecks.size();
             for(JCheckBox cb: customChecks) {
                 cb.setSelected(check);
             }
+            setButtons();
         }
     }