Update on path management in diplo

doc/SysMLSec/sysmlsec_documentation.tex

modeling/DIPLODOCUS/SmartCardProtocol_test.xml

src/main/java/graph/AUTState.java

src/main/java/graph/AUTTransition.java

src/main/java/tmltranslator/TMLChannel.java

src/main/java/tmltranslator/TMLMapping.java

src/main/java/tmltranslator/TMLSyntaxChecking.java

src/main/java/ui/GTMLModeling.java

src/main/java/ui/ThreadGUIElement.java

src/main/java/ui/window/JFrameStatistics.java