files = directory.listFiles(filter);
}
ObjectValue[] fileValues = new ObjectValue[files.length];
for (int f=0; f<files.length; f++) {
fileValues[f] = new ObjectValue(files[f]);
}
// If the URI requested suppression of errors, or that errors should be treated
// as warnings, we set up a special ErrorListener to achieve this