syncinfo.write(new File(folder.getLocation().toFile(), DesignDirectory.DESIGN_DEFINITION_FILE));
} catch (IOException e) {
WGADesignerPlugin.getDefault().logError("cound not create design definition", e);
}
folder.refreshLocal(IResource.DEPTH_INFINITE, null);
new WGADesignStructureHelper(folder).enforceDesignEncoding();
folder.refreshLocal(IResource.DEPTH_INFINITE, null);
} catch (ZipException e) {
WGADesignerPlugin.getDefault().logError("File "+folder.getLocation().toFile().getAbsolutePath()+" is not a Zipfile" ,e);
} catch (IOException e) {