/Globals.java/1.2/Wed Aug  5 13:39:04 1998//
/IdeEngine.java/1.2/Wed Aug  5 13:39:06 1998//
/IdeException.java/1.2/Wed Aug  5 13:39:06 1998//
