svoid makeOptionsFileForJavaCompiler(File optionsFile,
  L<File> sources, L<File> libraries,
  S moreOptions) ctex {
  FileWriter writer = new(optionsFile);
  for (File source : sources)
    writer.write(pqO(source.getPath()) + " ");
  if (!libraries.isEmpty()) {
    new LS cp;
    for (File lib : libraries)
      cp.add(lib.getAbsolutePath());
    writer.write("-cp " + pqO(join(File.pathSeparator, cp)) + " ");
  }
  writer.write(moreOptions);
  writer.close();
}