/Dictionary.java/1.4/Mon Oct  6 15:13:01 2003//
/DictionaryEvent.java/1.1/Fri Sep 12 10:23:53 2003//
/DictionaryListener.java/1.1/Fri Sep 12 10:23:53 2003//
/DictionaryManager.java/1.3/Sun Mar 13 09:10:16 2005//
/DictionaryServer.java/1.22/Sun Oct 19 14:41:35 2003//
/HistoryListener.java/1.1/Sun Oct 12 10:36:31 2003//
/SearchHistory.java/1.10/Sun Oct 19 14:41:35 2003//
/ServerWorker.java/1.6/Sun Oct 19 14:41:35 2003//
