Merge remote-tracking branch 'origin/master' into revert-883077ef

Makefile

build.txt

executablecode/generated_src/README

libs/batik-extensions.jar

libs/batik-util

modeling/DIPLODOCUS/SmartCardProtocol_sec.xml

simulators/c++2/lib/README

src/main/java/avatartranslator/AvatarStateMachine.java

...main/java/avatartranslator/AvatarStateMachineElement.java

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

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/avatarbd/AvatarBDBlock.java

src/main/java/ui/avatarbd/AvatarBDDataType.java

src/main/java/ui/avatarbd/AvatarBDLibraryFunction.java

src/main/java/ui/avatarbd/AvatarBDPortConnector.java

src/main/java/ui/tmlad/TMLADUnorderedSequence.java

src/main/java/ui/util/DefaultText.java

ttool/build.gradle

...java/avatartranslator/AvatarSecurityTranslationTests.java

ttool/ttool.txt