Code cleanup

src/main/java/avatartranslator/AvatarAction.java

src/main/java/avatartranslator/AvatarActionAssignment.java

src/main/java/avatartranslator/AvatarArithmeticOp.java

src/main/java/avatartranslator/AvatarAttribute.java

src/main/java/avatartranslator/AvatarConstant.java

src/main/java/avatartranslator/AvatarTerm.java

src/main/java/avatartranslator/AvatarTermFunction.java

src/main/java/avatartranslator/AvatarTermRaw.java

src/main/java/avatartranslator/AvatarTuple.java

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/main/java/ui/window/JDialogUPPAALValidation.java