Merge remote-tracking branch 'origin' into auto-security-diplodocus

build.txt

src/main/java/attacktrees/AttackTree.java

src/main/java/attacktrees/Defense.java

src/main/java/ui/AttackTreePanelTranslator.java

src/main/java/ui/AvatarPanelDrawer.java

src/main/java/ui/GTURTLEModeling.java

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