public FileEntry lookup(URI uri) { return (FileEntry) files.get(uri);
public FileEntry lookup(File file) { return lookup(file.toURI());
    public FileEntry lookup(URI uri) {        return (FileEntry) files.get(uri);    }