diff --git a/src/ui/window/JDialogAvatarModelChecker.java b/src/ui/window/JDialogAvatarModelChecker.java
index 2aeda5fe48e4d76dad6b9dd3a18e8cbac063d582..018b8dc02a8db0f834589ee8eb0dc16d6dcd014b 100644
--- a/src/ui/window/JDialogAvatarModelChecker.java
+++ b/src/ui/window/JDialogAvatarModelChecker.java
@@ -498,7 +498,7 @@ public class JDialogAvatarModelChecker extends javax.swing.JDialog implements Ac
amc.startModelChecking();
TraceManager.addDev("Model checking done");
- if (true) {
+ if (generateDesignSelected) {
TraceManager.addDev("Drawing modified avatar spec");
AvatarSpecification reworkedSpec = amc.getReworkedAvatarSpecification();
if ((mgui != null) && (reworkedSpec != null)) {
diff --git a/support/support_bugs.src b/support/support_bugs.src
deleted file mode 100644
index 43d40efe65d8f1d639d2e83fd1c02c337b13d88b..0000000000000000000000000000000000000000
--- a/support/support_bugs.src
+++ /dev/null
@@ -1,91 +0,0 @@
-<!--<div class="summary">
-This is how to show a summary of a page. For example. Of course. It's merely a highlighted box...
-</div>-->
-
-<h1>Support: Identified Bugs (since 2009)</h1>
-
-<br>
-<br>
-If you think you have identified a bug, please, do send an email (provided in the <a href="./contact.html">contact section</a>) with a clear explanation this bug, including <b>your version of TTool</b> as well as involved models. Your version of TTool can be identified in the <b>"Help"</b> menu, <b>"About"</b> menu item. All bugs that can be corrected at once, i.e., without a tracking over days, are not listed here.
-<br>
-<br>
-<br>
-<hr>
-
-<h2 id="func"> Identified Bugs (2016) </h2>
-<ul>
-<li><b><strike>Bug #028</strike></b> (March, 24th, 2016): C-POSIX code generation from AVATAR diagrams sometimes fails because of the "not" function. Resolved since build 12522</li>
-<br>
-</ul>
-<hr>
-<h2 id="func"> Identified Bugs (2015) </h2>
-<ul>
-<li><b>Bug #027</b> (August, 26th, 2015): It is not always possible to select elements of diagrams when the zoom function has been used.</li>
-<br>
-<li><b>Bug #026</b> (March, 13th, 2015): AVATAR: ";" at the end of action in transitions might result in errors when using UPPAAL (bug in the AVATAR to UPPAAL converter?).</li>
-<br>
-<li><b>Bug #025</b> (March, 13th, 2015): TTool cannot always detect that the UPPAAL license has expired, and responds as if the verification of property was succesful.</li>
-<br>
-<li><b>Bug #024</b> (March, 13th, 2015): AVATAR: when generating ProVerif code from all blocks of the Microwave example, ProVerif returns an error</li>
-<br>
-</ul>
-<br>
-<hr>
-<h2 id="func"> Identified Bugs (2010) </h2>
-<ul>
-<li><b><strike>Bug #023</strike></b> (May, 7th, 2010): sometimes, when removing a connector between too compoments, it is not possible to add a new connectors to the should-be-free connecting point. Can be reproduced under Linux only?. Resolved since build 6516.</li>
-<br>
-<li><b><strike>Bug #022</strike></b> (April, 6th, 2010): TTool stable version does not contain any config.xml file. Resolved since v0.92.</li>
-<br>
-<li><b>Bug #021</b> (April, 6th, 2010): TTool starts just nothing when clicking on "help TURTLE"</li>
-</li>
-</ul>
-<br>
-<hr>
-
-<h2 id="func"> Identified Bugs (2009) </h2>
-
-<ul>
-<li><b><strike>Bug #020</strike></b> (November, 25th, 2009): TTool crashes when using TMLWaitEvent operators with an event declared with non-set attributes. Resolved the 4th of December, 2009 (build 3104).</li>
-<br>
-<li><b>Bug #019</b> (September, 11th, 2009): intermediate points of connectors do not move when the whole connector, embedded into another component, moves.</li>
-<br>
-<li><b><strike>Bug #018</strike></b> (July, 6th, 2009): TTool crashes when a Sequence Diagram has an guard without an "[end]".</li>
-<br>
-<li><b><strike>Bug #017</strike></b> (May, 25th, 2009): connectors do not always load correctly on reference components in TML component diagrams. It is due to the fact that some referenced components have not yet been loaded. A solution would be to load all diagrams, and at the end, to load connectors. Resolved the 26th of May, 2009 (build 2705).</li>
-<br>
-<li><b><strike>Bug #016</strike></b>(May, 18th, 2009): Ports are not always updated correctly on reference components in TML component diagrams. Resolved the 19th of May, 2009 (build 2599).</li>
-<br>
-<li><b><strike>Bug #015</strike></b> (May, 18th, 2009):BCG graphs are not saved in the same locations as other graphs in DOT or AUT format. Resolved the 18th of May, 2009 (build 2569).</li>
-<br>
-<li><b><strike>Bug #014</strike></b> (April, 24th, 2009): TURTLE-to-UPPAAL code generator may not work when parallel operators with synchronization are used.</li>
-<br>
-<li><b><strike>Bug #013</strike></b> (April, 16th, 2009): On DIPLODOCUS Architecture diagrams, when moving the mouse pointer over a given node with several artifacts, only one artifact is correctly highlighted.</li>
-<br>
-<li><b><strike>Bug #012</strike></b> (April, 15th, 2009): The UPPAAL code generator may generate UPPAAL locations with both committed and urgent parameter, which is not allowed. Resolved the 16th of April, 2009 (build 2370).</li>
-<br>
-<li><b><strike>Bug #011</strike></b> (April, 10th, 2009): When editing the parameters of a DIPLODOCUS memory, the editing window might be too small for the fields to be editable. Resolved the 14th of April (build 2347).</li>
-<br>
-<li><b><strike>Bug #010</strike></b> (April, 10th, 2009): When editing the parameters of a DIPLODOCUS memory, the editing window might be too small for the fields to be editable. Resolved the 14th of April (build 2347).</li>
-<br>
-<li><b><strike>Bug #009</strike></b> (April, 8th, 2009): When a copy-paste action of a tclass is performed, its activity diagram is also copied-pasted. But, the size of the panel of the pasted activity diagram is not set to the size of the original panel [Bug is probably located in function loadActivityDiagram of GTURTLEModeling, should use functions maxX += increment; and updateSize(); on the panel ...]. Resolved the 14th of April.</li>
-<br>
-<li><b><strike>Bug #008</strike></b> (April, 7th, 2009): When a TURTLE design is formally validated (generation of RG) and the design has not ben saved, the RG cannot be visualized [Note: this may apply to other UML profile]. Resolved the 8th of April, 2009.</li>
-<br>
-<li><b><strike>Bug #007</strike></b> (April, 6th, 2009): Translation of TIF choices into UPPAAL is not correct because time may evolved when evaluating guards, since UPPAAL locations representing those choices are not urgent. Resolved the 8th of April, 2009.</li>
-<br>
-<li><b><strike>Bug #005</strike></b> (April, 6th, 2009): Zoom information is not updated / set to enable when loading a new modeling. Resolved the 10th of April, 2009 (build 2332).</li>
-<br>
-<li><b><strike>Bug #004</strike></b>(April, 6th, 2009): UPPAAL translator from TURTLE activity diagrams does not handled correctly non-deterministic guards of choices when the option "assume all choices are deterministic" is checked. Resolved the 6th of April, 2009.</li>
-<br>
-<li><b><strike>Bug #003</strike></b> (April, 6th, 2009): no "config.xml" in release 0.92 and release 0.92beta1. Resolved the 6th of April, 2009.</b></li>
-<br>
-<li><b><strike>Bug #002</strike></b> (March, 31, 2009): "clock" keywork is reserved in UPPAAL -> shall be considered as a keyword too in TURTLE / DIPLODOCUS diagrams. Resolved the 6th of April, 2009.</li>
-<br>
-<li><b><strike>Bug #001</strike></b> (March, 24, 2009): actions selected as "check for accessibility", on activity diagrams, are not considered by UPPAAL on TObjects, but only on TClasses. Resolved the 10th of April, 2009 (build 2230).</li>
-</ul>
-
-<br>
-
-
-
diff --git a/support/support_funcs.src b/support/support_funcs.src
deleted file mode 100644
index 3653139f725617546078005c91ba6f21d39f8950..0000000000000000000000000000000000000000
--- a/support/support_funcs.src
+++ /dev/null
@@ -1,127 +0,0 @@
-<!--<div class="summary">
-This is how to show a summary of a page. For example. Of course. It's merely a highlighted box...
-</div>-->
-
-<h1>Support: Requested Functionalities (since 2009)</h1>
-
-<br>
-<br>
-To ask for a new functionality, please, do send an email (provided in the <a href="./contact.html">contact section</a>) with a clear explanation this functionality.
-<br>
-<br>
-<br>
-<hr>
-
-<h2 id="func"> Requested Functionalities (2016) </h2>
-<ul>
-<li> <b>Req #037</b> (April., 18, 2016) Possibility to zoom/unzoom in sequence diagrams.</li>
-<br>
-<li> <b>Req #036</b> (April., 1, 2016) Possibility to use a "leads to" property with a time limit i.e. an action a1 leads to an action a2 in less than x units of times.</li>
-<br>
-<li> <b>Req #035</b> (Jan., 27, 2016) Opening a referenced elt (e.g, an impact link in a MAD) with a double-click.</li>
-<br>
-</ul>
-
-
-<h2 id="func"> Requested Functionalities (2015) </h2>
-<ul>
-<li> <b>Req #034</b> (Aug., 25, 2015) Add a scrolling meachnism on the diagram borders when zooming or selecting diagrams elements.</li>
-<br>
-<li> <b>Req #033</b> (March, 13, 2015) AVATAR methodology: when modifying the name of a diagram, update the reference to diagrams in the methodology as well.</li>
-<br>
-<li> <b>Req #032</b> (March, 12, 2015) AVATAR assumption diagrams: be able to reference a given "Avatar Design Diagram" (and not only its main tab).</li>
-<br>
-<li> <b>Req #031</b> (March, 12, 2015) AVATAR design diagrams: be able to rename "Avatar Design Diagram" in something else. Actually, I am not really in favor of this, since there is already a name provided to the diagram in the main tab of the diagram.</li>
-<br>
-</ul>
-
-
-<h2 id="func"> Requested Functionalities (2014) </h2>
-<ul>
-<li> <b>Req #030</b> (October, 10, 2014) AVATAR requirements diagrams: it could be interesting to automatically add a unique requirement didentifier when adding a new requirement. By unique, we mean unique in all requirement diagrams of the opened model.</li>
-<br>
-</ul>
-
-<h2 id="func"> Requested Functionalities (2012) </h2>
-<ul>
-<li><b>Req #029</b> (Dec., 6, 2012) AVATAR design diagrams: adding an any state, i.e. a state from which all subsequent transiations can be taken from any other states of the state machine.</li>
-<br>
-<li><b>Req #028</b> (Dec., 6, 2012) AVATAR design diagrams: propose an icon to automatically remove used signals and variables.</li>
-<br>
-<li> <b>Req #027</b> (March, 22, 2012) AVATAR analysis diagrams: it could be interesting to automatically add a start state to Interaction Overviw Diagrams when the latter is created. Is this diagram obligatory? (currently, yes!).</li>
-<br>
-</ul>
-
-
-<h2 id="func"> Requested Functionalities (2011) </h2>
-<ul>
-<li> <b>Req #026</b> (May, 9, 2011) AVATAR block diagrams: support of String attributes.</li>
-<br>
-<li> <b>Req #025</b> (May, 9, 2011) AVATAR block diagrams: support for multiplicities on composition operators, and support of roles on composition operators.</li>
-<br>
-<li> <b><strike>Req #024</strike></b> (March, 4, 2011) AVATAR State machines: automatically connect new elements when added. Implemented since build 7245.</li>
-<br>
-<li> <b>Req #023</b> (March, 4, 2011) DIPLODOCUS component diagram: when modifying the attributes of a primitive port, automatically update the information of the connected port.</li>
-<br>
-<li> <b>Req #022</b> (February, 4, 2011) AVATAR requirements: adding attributes to requirements: source = (innovation, marketing, technique, client) and status = (validated, pending).</li>
-<br>
-<li> <b>Req #021</b> (February, 4, 2011) AVATAR: adding the possibility to verify whether a system can go back to its initial state, or not.</li>
-<br>
-<li> <b>Req #020</b> (January, 27, 2011, and May, 24, 2011) AVATAR: adding the possibility to link a comment to a transition between states, or to a guard and actions of transitions. Also, improve the automatic positioning of the guards. More generally, connecting a comment to links might be useful.</li>
-<br>
-<li><b>Req #019</b> (January, 27, 2011): SysML RD: automatically increment the ID of Requirement, when creating a new one, automatic return carriage in text of requirements, and possibility to change the name of the requirements in the same dialog as the one used to modify the attributes of a rquirement. [ID increment implemented since build 7205]</li>
-<br>
-<li><b>Req #018</b> (January, 26, 2011): Use Case Diagrams: it should be possible to attach use cases inside of the system boundary</li>
-<br>
-</ul>
-<br>
-<hr>
-<h2 id="func"> Requested Functionalities (2010) </h2>
-<ul>
-<li><b>Req #017</b> (July, 20, 2010): DIPLODOCUS: link DIPLODCUS models with simulink ones? [Request must be completed before it can be taken into account]</li>
-<br>
-<li><b>Req #016</b> (July, 13, 2010): DIPLODOCUS: mapping on domains, notion of domains [Request must be completed before it can be taken into account]</li>
-<br>
-<li><b>Req #015</b> (July, 1, 2010): DIPLODOCUS: events automatically added to channels [Request must be completed before it can be taken into account]</li>
-<br>
-<li><b>Req #014</b> (July, 1, 2010): DIPLODOCUS: support for arrays?</li>
-<br>
-<li><b><strike>Req #013</strike></b> (July, 1, 2010): DIPLODOCUS: support of records / data structure, with no reference to another record from a given record Implemented since build 5282</li>
-<br>
-<li><b><strike>Req #012</strike></b> (July, 1, 2010): DIPLODOCUS: add more parameters to events and requests. Implemented since build 5282</li>
-<br>
-<li><b>Req #011</b> (May, 12, 2010): DIPLODOCUS: propose a way to see previous simulation results at architecture level, and to desactivate them whenever necessary.</li>
-<br>
-<li><b>Req #010</b> (May, 11, 2010): DIPLODOCUS: add the possibility to have the increment part of "for" operators to be empty, e.g, for(i=0; i<2;)</li>
-<br>
-<li><b><strike>Req #009</strike></b> (May, 2010): DIPLODOCUS: add a new random sequence operator. Implemented since build 4156</li>
-<br>
-<li><b><strike>Req #008</strike></b> (April, 2010): Eliminate all non-necessary text outputs of TTool. Implemented since build 5279</li>
-<br>
-<li><b>Req #007</b> (April, 2010): Propose a multi-user installation of TTool.</li>
-</ul>
-<br>
-<hr>
-
-<h2 id="func"> Requested Functionalities (2009) </h2>
-
-<ul>
-<li><b>Req #006</b>: (November, 25, 2009): When pasting elements in a diagram, those elements shall be selected in that new diagram, so that they can be easily moved</li>
-<li><b><strike>Req #005</strike></b>: (June, 5, 2009): Open the diagram on which an command update has just been made, when simulating DIPLODOCUS diagrams. Implemented since build 3114.</li>
-<br>
-<li><b>Req #004</b>: (June, 4, 2009): Selection of a whole diagram</li>
-<br>
-<li><b>Req #003</b>: (May, 4, 2009): TURTLE: Non-deterministic operator for setting a variable (i.e., a random ...)</li>
-<br>
-<li><b><strike>Req #002</strike></b>: (April, 24, 2009): graphical toolkit for interactive control of the C++ simulator. Implemented since build 3019.</li>
-<br>
-<li><b><strike>Req #001</strike></b>: (April, 15, 2009): text-based interface to the C++ simulator. Implemented since build 2510.</li>
-<br>
-<li><b><strike>Req #001</strike></b>: (April, 15, 2009): text-based interface to the C++ simulator. Implemented since build 2510.</li>
-</ul>
-
-<br>
-
-
-
-)
\ No newline at end of file