added speculative options for jEdit;
Boxes may now have different widths.
eliminated obsolete CVS Ids; tuned headers;
fixed javac warning
eliminated dependencies on AWT for batch mode
Updated to JDK 1.1.x
Source files for Isabelle theory graph browser. Initial revision.