Update on graph display

graphminimize/src/main/java/GraphMinimize.java

graphshow/src/main/java/GraphShow.java

modeling/AVATAR/testDependencyGraphs.xml

src/main/java/graph/AUTGraph.java

src/main/java/graph/AUTGraphDisplay.java

src/main/java/ui/tree/JDiagramTree.java

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

src/main/java/ui/window/JFrameStatistics.java