Merge remote-tracking branch 'origin/master' into alessandro_branch

Makefile

build.txt

libs/batik-extensions.jar

libs/batik-util

modeling/DIPLODOCUS/SmartCardProtocol_sec.xml

simulators/c++2/lib/README

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarBlockTemplate.java

src/main/java/avatartranslator/AvatarStateMachine.java

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

src/main/java/tmltranslator/TMLEvent.java

src/main/java/tmltranslator/TMLType.java

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

src/main/java/tmltranslator/toavatar/FullTML2AvatarDP.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