static String loadTextFileMandatory(File file) {
    S contents = loadTextFile(file);
    if (contents == null)
      fail("File not found: " + file.getPath());
    ret contents;
  }