* @param tofile
   */
  public static void renameFile(String fromfile, String tofile) {
    { String truefrom = Stella.translateLogicalPathname(fromfile);
      String trueto = Stella.translateLogicalPathname(tofile);

      if (!(Native.nativeProbeFileP(truefrom))) {
        Stella.ensureFileExists(fromfile, "rename-file");
      }
      if (Native.nativeProbeFileP(trueto)) {
        Stella.ensureFileDoesNotExist(tofile, "rename-file");
      }
      Native.nativeRenameFile(truefrom, trueto);
    }
  }