if (mimetype != null)
((EXistResource)res).setMimeType(mimetype);
res.setContent(f);
if(dialog == null)
System.out.println("restoring " + name);
<BUG>SimpleDateFormat formatter
= new SimpleDateFormat ("EEE MMM dd HH:mm:ss 'CET' yyyy", Locale.US);</BUG>
Date date_created = null;
Date date_modified = null;
<BUG>if (created != null) {
try {
date_created = formatter.parse( created);
} catch (ParseException e) {
</BUG>
}

if (mimetype != null)
((EXistResource)res).setMimeType(mimetype);
res.setContent(f);
if(dialog == null)
System.out.println("restoring " + name);
Date date_created = null;
Date date_modified = null;
if (created != null)
