Testing Eclipse commit

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
index 02a6c489133ec670a6eeddeb555e829deffcc3a9..27599174f26dca30e8fd986b9b92bacc72bb717d 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java
@@ -11,7 +11,9 @@ import Util.Edge;
 public class FEdge extends Edge {
 
     private String label;
-    
+    /** Class Constructor
+     * 
+     */
     public FEdge(FlagState target, String label) {
        super(target);
        this.label = label;