changed the checkbox in the menu to more up to date one

src/ui/view/GUI.java

@@ -87,14 +87,14 @@ public class GUI implements CategoryListener {
 	
 	
 	
-	private final JCheckBox consoleLogCheckBox = new JCheckBox(
+	private final JCheckBoxMenuItem consoleLogCheckBox = new JCheckBoxMenuItem(
 			"Show program console log");
-	private final JCheckBox useFlexibleDevicesCheckBox = new JCheckBox(
+	private final JCheckBoxMenuItem useFlexibleDevicesCheckBox = new JCheckBoxMenuItem(
 			"Automatically use flexible devices");
 	/** checked if supplyBars should be shown */
-	private final JCheckBox showSupplyBarsCheckBox = new JCheckBox(
+	private final JCheckBoxMenuItem showSupplyBarsCheckBox = new JCheckBoxMenuItem(
 			"Show supply bars.");
-	private final JCheckBox showTooltipsCheckBox = new JCheckBox(
+	private final JCheckBoxMenuItem showTooltipsCheckBox = new JCheckBoxMenuItem(
 			"Show tooltips.");
 	/** menu for the different fairness Models */
 	private final JMenu mnFairnessModel = new JMenu("Fairness Model");