@Override
public void storeState(Hashtable<Object, Object> state) {
super.storeState(state);
HashtableStoreSupport.store(state, hash + "root", root);
if (root != null) {
root.storeState(state);
}
HashtableStoreSupport.store(state, hash + "text", text);
HashtableStoreSupport.store(state, hash + "str", str);
if (str != null) {
str.storeState(state);
}
}
@Override
public void restoreState(Hashtable<?, ?> state) {
super.restoreState(state);
final Object root = state.get(hash + "root");
if (root != null) {
this.root = (SuffixTreeNode) HashtableStoreSupport.restore(root);
}
if (this.root != null) {
this.root.restoreState(state);
}
final Object text = state.get(hash + "text");
if (text != null) {
this.text = (String) HashtableStoreSupport.restore(text);
}
final Object str = state.get(hash + "str");
if (str != null) {
this.str = (StringElem) HashtableStoreSupport.restore(str);
}
if (this.str != null) {
this.str.restoreState(state);
}
}
@Override
public void languageChanged() {
border.setTitle(" " + Languages.getString(D.getName()) + " ");
}
