Removing useless debug traces

src/avatartranslator/modelchecker/AvatarModelChecker.java

@@ -268,7 +268,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
         }
 
 
-        TraceManager.addDev("Preparing Avatar specification :" + spec.toString());
+        //TraceManager.addDev("Preparing Avatar specification :" + spec.toString());
         prepareStates();
         prepareTransitions();
 

src/ui/graph/AUTGraph.java

@@ -1320,7 +1320,7 @@ public class AUTGraph implements myutil.Graph {
         transitions = trs;
         nbState = sts.size();
 
-        TraceManager.addDev("New graph: " + toFullString());
+        //TraceManager.addDev("New graph: " + toFullString());
 
     }
 

src/ui/window/JDialogAvatarModelChecker.java

@@ -526,7 +526,7 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
 
             amc.startModelChecking();
             TraceManager.addDev("Model checking done");
-	    TraceManager.addDev("RG:" + amc.statesToString() + "\n\n");
+	    //TraceManager.addDev("RG:" + amc.statesToString() + "\n\n");
 
             if (generateDesignSelected) {
                 TraceManager.addDev("Drawing modified avatar spec");
@@ -708,7 +708,7 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
     }
 
     public void updateValues() {
-        TraceManager.addDev("Updating values...");
+        //TraceManager.addDev("Updating values...");
         try {
             if (amc != null) {
                 int nbOfStatess = amc.getNbOfStates();