AutoSecurity MAC added

src/avatartranslator/AvatarMethod.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/tmltranslator/TMLModeling.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/GTURTLEModeling.java

src/ui/TDiagramPanel.java

...ui/interactivesimulation/JFrameInteractiveSimulation.java

src/ui/tmlcompd/TMLCPrimitivePort.java