lib/browser/GraphBrowser/Graph.java

 		Enumeration e1=vertices.elements();
 		int h,w;
 		h=w=Integer.MIN_VALUE;
 
 		while (e1.hasMoreElements()) {
-			Dimension dim=((Vertex)(e1.nextElement())).getLabelSize(g);
+		  Box dim=((Vertex)(e1.nextElement())).getLabelSize(g);
 			h=Math.max(h,dim.height);
 			w=Math.max(w,dim.width);
 		}
 		box_height=h+4;
 		box_height2=box_height/2;