docs: public Map<File, FileInfo> getFileInfoMap() {
          final Map<File, FileInfo> ret = new HashMap<>();
          for (final Map.Entry<URI, FileInfo> e: files.entrySet()) {
              ret.put(e.getValue().file, e.getValue());
          }
          return Collections.unmodifiableMap(ret);
      }