model.setFoundNodeIndex(index);
    public void findPrevious()    {        List l = model.getFoundNodes();        if (l == null || l.size() == 0) return;        int index = model.getFoundNodeIndex();        if (index > 0)  index--; //not last element        else if (index == 0)  index = l.size()-1;        TreeImageDisplay node = (TreeImageDisplay) l.get(index);        view.selectFoundNode(node);        Object ho = node.getUserObject();        if (ho instanceof DataObject) {            EventBus bus = TreeViewerAgent.getRegistry().getEventBus();            bus.post(new ShowProperties((DataObject) ho, ShowProperties.EDIT));        }    }