tfile = new RandomAccessFile(taskFile, "rw");
tfile.setLength(0); tfile.seek(0);
outp = new PrintWriter(new FileWriter(taskFile));
if (h != null)
{ String[] keys = h.keys();
FLOOP: for (int i = 0; i < keys.length; i++)
{ for (int j = 0; j < excPatts.length; j++)
{ Matcher matcher = excPatts[j].matcher(keys[i]);
if (matcher.matches()) continue FLOOP;
}