Zoom on attack trees

src/ui/atd/ATDAttack.java

src/ui/atd/ATDAttackConnector.java

src/ui/atd/ATDBlock.java

src/ui/atd/ATDCompositionConnector.java

src/ui/atd/ATDConstraint.java

src/ui/atd/AttackTreeDiagramPanel.java

src/ui/window/JDialogUPPAALValidation.java