added speculative options for jEdit;
eliminated obsolete CVS Ids; tuned headers;
Updated to JDK 1.1.x
Source files for Isabelle theory graph browser. Initial revision.