public static void openFile(@NotNull Path file) {
    var parent = file.toAbsolutePath().getParent();
    if (parent != null) {
      doOpen(parent, file);
    }
    else {
      doOpen(file, null);
    }
  }
public static void openFile(@NotNull Path file)