/ArgosDicPreferenceStore.java/1.7/Sun Oct 12 11:34:44 2003//
/DictionaryPreferencePage.java/1.4/Sun Oct 12 11:26:51 2003//
