More optimization for memory

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarTransition.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

...ava/avatartranslator/modelchecker/SpecificationState.java

src/main/java/ui/window/JDialogAvatarModelChecker.java