--- a/lib/browser/GraphBrowser/Box.java Wed May 07 16:58:17 2003 +0200
+++ b/lib/browser/GraphBrowser/Box.java Wed May 07 17:04:45 2003 +0200
@@ -1,4 +1,14 @@
-// replacement for java.awt.Dimension
+/***************************************************************************
+ Title: GraphBrowser/Box.java
+ ID: $Id$
+ Author: Gerwin Klein, TU Muenchen
+ Copyright 2003 TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
+
+ A box with width and height. Used instead of java.awt.Dimension for
+ batch mode.
+
+***************************************************************************/
package GraphBrowser;