/AttributeComponentManager.java/1.3/Mon Aug 25 09:31:20 2003//
/DefaultModeManager.java/1.4/Mon Nov  3 12:15:56 2003//
/DefaultToolManager.java/1.5/Wed Dec  3 14:00:05 2003//
/DefaultViewManager.java/1.4/Wed Mar 31 13:18:34 2004//
/EditComponentManager.java/1.3/Mon Aug 25 09:33:02 2003//
/ModeManager.java/1.3/Mon Nov  3 12:15:56 2003//
/ToolManager.java/1.3/Mon Nov  3 12:15:56 2003//
/ViewManager.java/1.3/Wed Mar 31 13:18:34 2004//
