adaptation to java 7 of precedent commit

src/avatartranslator/AvatarAction.java

src/avatartranslator/AvatarActionAssignment.java

src/avatartranslator/AvatarAttribute.java

src/avatartranslator/AvatarLeftHand.java

src/avatartranslator/AvatarLocalVar.java

src/avatartranslator/AvatarTerm.java

src/avatartranslator/AvatarTermFunction.java

src/avatartranslator/AvatarTransition.java

src/avatartranslator/AvatarTuple.java

...tartranslator/directsimulation/AvatarSimulationBlock.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java