diff --git a/src/ui/TGComponentAndUPPAALQuery.java b/src/ui/TGComponentAndUPPAALQuery.java
new file mode 100755
index 0000000000000000000000000000000000000000..4e22d98470dac928f017d71a9d2cb804cb903d73
--- /dev/null
+++ b/src/ui/TGComponentAndUPPAALQuery.java
@@ -0,0 +1,61 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+ *
+ * ludovic.apvrille AT enst.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL  license under French law and
+ * abiding by the rules of distribution of free software.  You can  use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and  rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty  and the software's author,  the holder of the
+ * economic rights,  and the successive licensors  have only  limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading,  using,  modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean  that it is complicated to manipulate,  and  that  also
+ * therefore means  that it is reserved for developers  and  experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and,  more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ *
+ * /**
+ * Class TGcomponentAndUPPAALQuery
+ *
+ * Creation: 19/09/2016
+ * @version 1.0 19/09/2016
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+
+package ui;
+
+import java.util.*;
+
+public class TGComponentAndUPPAALQuery {
+    public TGComponent tgc;
+    public String uppaalQuery;
+
+    public TGComponentAndUPPAALQuery(TGComponent _tgc, String _uppaalQuery) {
+	tgc = _tgc;
+	uppaalQuery = _uppaalQuery;
+    }
+
+}
diff --git a/src/ui/window/JDialogUPPAALValidation.java b/src/ui/window/JDialogUPPAALValidation.java
index c427f53ea120b953c5114a0e7b6eb24f3d3e35e7..138d1c1e7087c505d8f9cda59574906d4be722c1 100755
--- a/src/ui/window/JDialogUPPAALValidation.java
+++ b/src/ui/window/JDialogUPPAALValidation.java
@@ -367,6 +367,9 @@ public class JDialogUPPAALValidation extends javax.swing.JDialog implements Acti
                             workQuery("E<> " + query, fn, trace_id, rshc);
                             trace_id++;
                         } else {
+			    if (cq.tgc != null) {
+				tgc.reachability =  TGcomponent.ACCESSIBILITY_UNKNOWN;
+			    }
                             jta.append("A component could not be studied (internal error)\n");
                         }
                     }