diff -r 3aa8c0bb3080 -r 4aef7117817b lib/browser/GraphBrowser/Box.java
--- 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;