}
// Wir merken uns das aktive Tab.
Integer tab = (Integer) cache.get("tab");
if (tab != null) folder.setSelection(tab);
folder.addDisposeListener(new DisposeListener() {
public void widgetDisposed(DisposeEvent e)
{
cache.put("tab",folder.getSelectionIndex());
}
});