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

build.txt

modeling/AVATAR/CoffeeMachine_Avatar.xml

modeling/AVATAR/PressureController.xml

modeling/AVATAR/testMC.xml

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/ui/TGHelpButton.java

src/main/java/ui/avatarbd/AvatarBDSafetyPragma.java

...va/ui/avatarmethodology/AvatarMethodologyDiagramName.java

.../avatarmethodology/AvatarMethodologyDiagramReference.java

...plodocusmethodology/DiplodocusMethodologyDiagramName.java

...cusmethodology/DiplodocusMethodologyDiagramReference.java

...i/sysmlsecmethodology/SysmlsecMethodologyDiagramName.java

...mlsecmethodology/SysmlsecMethodologyDiagramReference.java

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

src/main/java/ui/window/JDialogAvatarModelChecker.java

src/main/java/ui/window/JDialogSafetyPragma.java

src/main/java/ui/window/JDialogTGComponentHelp.java

src/main/resources/help/README

src/main/resources/help/avatar.html

src/main/resources/help/avatar.md