currdom.setChanged(true);
form.dataChanged();
dom.setChanged(true);
if(tab.getFilelist().contains(hotFolderfilename)) {
form.dataChanged(tab.getFolderTab(hotFolderfilename));
} else {
form.dataChanged(tab.getFolderTab(pathFromHotFolderDirectory));
}
}