No commit message

modeling/CoffeeMachine_Avatar.xml

modeling/MicroWaveOven_SafetySecurity.xml

src/TMLTranslator.java

src/avatartranslator/AvatarSpecification.java

src/avatartranslator/AvatarTransition.java

src/avatartranslator/totpn/AVATAR2TPN.java

src/ui/AvatarDesignPanel.java

src/ui/CheckableInvariant.java

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/Invariant.java

src/ui/TDiagramPanel.java

src/ui/TGComponent.java

src/ui/avatarsmd/AvatarSMDState.java

src/ui/window/JDialogInvariantAnalysis.java