public static char directorySeparatorForFile(String file) {
    if (Stella.logicalPathnameP(file)) {
      return (Stella.LOGICAL_DIRECTORY_SEPARATOR);
    }
    else {
      return (Stella.directorySeparator());
    }
  }