Finding time between corresponding requests and Avatar ProVerif trace display

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/AvatarDesignPanel.java

src/main/java/ui/TDiagramPanel.java

src/main/java/ui/avatarbd/AvatarBDBlock.java

src/main/java/ui/avatarbd/AvatarBDPragma.java

...ui/interactivesimulation/JFrameInteractiveSimulation.java