backtracing fix

src/proverifspec/ProVerifOutputAnalyzer.java

src/tmltranslator/TMLChannel.java

src/tmltranslator/TMLEvent.java

src/tmltranslator/TMLModeling.java

src/tmltranslator/TMLRequest.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/GTMLModeling.java

src/ui/MainGUI.java

src/ui/TMLComponentDesignPanel.java

src/ui/tmlcompd/TMLCPrimitivePort.java