Bugfix: incorrect initial setting of graph y axis.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@102 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/chart/HorizontalGraphBorder.java

@@ -43,7 +43,7 @@ public class HorizontalGraphBorder extends ChartObject
     /** Creates a new instance of HorizontalGraphBorder */
     public HorizontalGraphBorder(MultiGraphModel theModel, int position, int offset)
     {
-        super(theModel, 0, 0, 100, 0.5);
+        super(theModel, 0, position==BOTTOM?100:0, 100, 0.5);
         this.position = position;
         switch(position)
         {