static BasicFileAttributes fileAttributes(File etc f) {
  ret f == null ?: Files.readAttributes(f.toPath(), BasicFileAttributes.class);
}