avatar: other operators

src/myutil/TraceManager.java

src/ui/AvatarDesignPanel.java

src/ui/AvatarMethod.java

src/ui/AvatarSignal.java

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/IconManager.java

src/ui/MainGUI.java

src/ui/TAttribute.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDCompositionConnector.java

src/ui/avatarbd/AvatarBDPanel.java

src/ui/avatarbd/AvatarBDPortConnector.java

src/ui/avatarsmd/AvatarSMDConnector.java

src/ui/avatarsmd/AvatarSMDReceiveSignal.java

src/ui/avatarsmd/AvatarSMDSendSignal.java

src/ui/avatarsmd/AvatarSMDToolBar.java

src/ui/avatarsmd/AvatarSMDTransitionInfo.java