- // static final class DictionaryHistory implements Serializable {
- // private static final long serialVersionUID = -4842995032541390284L;
- // // User-ordered list, persisted, just the ones that are/have been
- // present.
- // final List<DictionaryLink> dictionaryLinks = new
- // ArrayList<DictionaryLink>();
- // }
- // DictionaryHistory dictionaryHistory = null;
-