*/
  public static void deleteFile(String filename) {
    { String truefile = Stella.translateLogicalPathname(filename);

      if (!(Native.nativeProbeFileP(truefile))) {
        Stella.ensureFileExists(filename, "delete-file");
      }
      Native.nativeDeleteFile(truefile);
    }
  }