target.delete();
// Make three new dummy coverage files with the needed timestamps:
File input = null;
File output = null;
FilenameFilter tiffFilter = new DefaultFileFilter("*.tiff");
String[] tiffnames = targetDir.list(tiffFilter);
if (tiffnames != null) {
if (tiffnames.length > 0) {
input = new File(targetDir, tiffnames[0]);