docs: @Requires({
      "name != null",
      "data != null",
      "kind != null"
    })
    public static void dump(String name, byte[] data, JavaFileObject.Kind kind) {
      File f = new File(dumpDirectory + "/" + name + kind.extension);
      info("dump", "dumping file " + f);
      f.getParentFile().mkdirs();
      try {
        OutputStream out = new FileOutputStream(f);
        out.write(data);
        out.flush();
        out.close();
      } catch (IOException e) {
        warn("dump", "while dumping " + f + ": " + e.getMessage());
      }
    }