Code cleanup

src/main/java/proverifspec/ProVerifResultTrace.java

src/main/java/ui/AttackTreePanelTranslator.java

src/main/java/ui/AvatarDesignPanel.java

src/main/java/ui/AvatarDesignPanelTranslator.java

src/main/java/ui/DesignPanelTranslator.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TGComponent.java

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

src/main/java/ui/avatarbd/AvatarBDPanel.java

src/main/java/ui/avatarbd/AvatarBDPerformancePragma.java

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

src/main/java/ui/avatarbd/AvatarBDStateMachineOwner.java

src/main/java/ui/avatarsmd/AvatarSMDConnector.java

src/main/java/ui/avatarsmd/AvatarSMDExpireTimer.java

src/main/java/ui/avatarsmd/AvatarSMDReceiveSignal.java

src/main/java/ui/avatarsmd/AvatarSMDResetTimer.java

src/main/java/ui/avatarsmd/AvatarSMDSendSignal.java

src/main/java/ui/avatarsmd/AvatarSMDSetTimer.java

src/main/java/ui/avatarsmd/AvatarSMDTransitionInfo.java