Update on invariants

modeling/AvatarNetworkModeling.xml

modeling/ebook_reader_01.xml

src/ui/AvatarDesignPanel.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TDiagramPanel.java

src/ui/TGComponent.java

src/ui/TURTLEPanel.java

src/ui/avatarsmd/AvatarSMDPanel.java

src/ui/avatarsmd/AvatarSMDState.java

src/ui/window/JDialogInvariantAnalysis.java