Update on EVITA KMProtocol

modeling/proverif.xml

src/avatartranslator/AvatarBlock.java

src/ui/cd/TGConnectingPointAssociation.java

...ui/interactivesimulation/JFrameInteractiveSimulation.java

src/ui/window/JDialogAvatarBlock.java

src/ui/window/JDialogNote.java

src/ui/window/JDialogObserver.java

src/ui/window/JDialogRequirement.java