added speculative options for jEdit;
eliminated obsolete CVS Ids; tuned headers;
Merged in license change from Isabelle2004
fixed javac warning
Moved font settings from TreeNode to TreeBrowser.
renamed "Directories" to "Sessions";
tuned arrows;
Updated to JDK 1.1.x
Source files for Isabelle theory graph browser. Initial revision.