New options on Main

src/Main.java

@@ -59,11 +59,11 @@ public class Main implements ActionListener {
     public boolean finish = false;
     public static Main main = new Main();
     public static boolean systemc = false;
-    public static boolean lotos = false;
+    public static boolean lotos = true;
     public static boolean proactive = false;
     public static boolean tpn = false;
     public static boolean os = false;
-    public static boolean uppaal = false;
+    public static boolean uppaal = true;
     public static boolean nc = true ; // Network calculus
     public static void main(String[] args) {
       
@@ -109,6 +109,10 @@ public class Main implements ActionListener {
             if (args[i].compareTo("-lotos") == 0) {
                 lotos = true;
                 System.out.println("LOTOS features activated");
+            }
+			if (args[i].compareTo("-nolotos") == 0) {
+                lotos = false;
+                System.out.println("LOTOS features activated");
             }
              if (args[i].compareTo("-launcher") == 0) {
                 Thread t = new Thread(new RTLLauncher());
@@ -143,6 +147,10 @@ public class Main implements ActionListener {
                 uppaal = true;
                 System.out.println("UPPAAL features activated - these are beta features that are meant to be used only for research purpose");
             }
+			 if (args[i].compareTo("-nouppaal") == 0) {
+                uppaal = false;
+                System.out.println("UPPAAL features activated - these are beta features that are meant to be used only for research purpose");
+            }
             
             if (args[i].compareTo("-config") == 0) {
                 config = args[Math.min(args.length-1, i+1)];