/EditPanel.java/1.3/Tue Aug 12 07:38:03 2003//
/InspectorPlugin.java/1.3/Mon Nov  3 12:15:55 2003//
/InspectorTab.java/1.2/Sat Aug  2 09:19:56 2003//
