form.updateTree("main");
form.update();
} else if (container.getCurrentEditor() instanceof ActionsForm) {
ActionsForm form =(ActionsForm)container.getCurrentEditor();
form.updateTree("main");
form.update();
}
//dom.setFileLastModified(f.lastModified());
//System.out.println("neu= " + f.lastModified());
//System.out.println("neu= " + dom.getFileLastModified());