*/
public void deleteFile(String filePath) throws FileSystemException {
File f = new File(root, osPath(filePath));
if (!f.isFile()) {
String msg = f.getPath() + " does not denote an existing file";
throw new FileSystemException(msg);
}
try {
FileUtil.delete(f);
} catch (IOException ioe) {
String msg = "failed to delete " + f.getPath();
if (monitor != null && monitor.isOpen(f)) {
log.error("Unable to delete. There are still open streams.");
monitor.dump(f);
}
throw new FileSystemException(msg, ioe);
}
}