1 // replacement for java.awt.Dimension
2
3 package GraphBrowser;
4
5 public class Box {
6 public int width;
7 public int height;
8
9 public Box(int w, int h) {
10 this.width = w;
11 this.height = h;
12 }
13 }