@Override public Object do_root() { return ROOT; }
};
// Pre-expand the entire tree.
TreePath last = null;
for(int i=0; i<tree.getRowCount(); i++) {
tree.expandRow(i);
if (lastElement!=null && last==null) {last=tree.getPathForRow(i); if (lastElement!=last.getLastPathComponent()) last=null;}
}
// Show the current element if found, else show the GENERAL OPTIONS
if (last!=null) { zoom(lastElement); } else { last = tree.getPathForRow(0); zoom(GENERAL); }
tree.scrollPathToVisible(last);