Method generateFile

classpath/java/io/File.java:75–82

(File directory, String prefix, long state, String suffix)

  }

  private static File generateFile(File directory, String prefix, long state, String suffix) {
    File ret = new File(directory, prefix + state + suffix);
    if(ret.exists()) {
      return null;
    } else {
      return ret;
    }
  }

  private static String stripSeparators(String p) {
    while (p.endsWith(FileSeparator)) {