post merge

build.txt

modeling/SysMLSec/AliceAndBobHW.xml

src/main/java/avatartranslator/AvatarSignal.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarType.java

src/main/java/tmltranslator/SecurityPattern.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTextSpecification.java

src/main/java/tmltranslator/toavatar/FullTML2Avatar.java

src/main/java/tmltranslator/toavatarsec/TML2Avatar.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/HSMGeneration.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/SecurityGeneration.java

src/main/java/ui/TGComponent.java

src/main/java/ui/avatarbd/AvatarBDPanel.java

src/main/java/ui/avatarrd/AvatarRDPanel.java

src/main/java/ui/tmlad/TMLADEncrypt.java