/SpecEditor.java/1.1/Thu Jan 22 18:46:56 2009//
/SpecificationEditorException.java/1.1/Thu Jun  5 13:36:44 2008//
