Wrote /root/JavaX-Caches/tmp_859941835/main.java - 1015 bytes (written=1015, should be 1015)
javac=0, ecj=1, useJarBot=0
Checking ECJ at port 4898 at 127.0.0.1
/root/jdk-17/bin/javac -source 11 -target 11 -nowarn -encoding utf8 -Xdiags:verbose -cp /root/.javax/x30.jar:/root/dexcompiler/android.jar:/root/dexcompiler/support-v4-22.2.1.jar:/root/javafx/javafx.base.jar:/root/javafx/javafx.graphics.jar:/root/javafx/javafx.swing.jar -d /root/JavaX-Caches/tmp_580575744 /root/JavaX-Caches/tmp_859941835/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1011763&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1011763&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1011763'>Show snippet.</a> <a href='/tb/snippets.php?id=1011763'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_859941835/main.java:1: error: class, interface, or enum expected
static void webs_toTripleFile(Collection<Web> webs, PrintWriter out) {
       ^
/root/JavaX-Caches/tmp_859941835/main.java:3: error: class, interface, or enum expected
  new Map<S, Int> index;
  ^
/root/JavaX-Caches/tmp_859941835/main.java:4: error: class, interface, or enum expected
  new StringBuilder buf;
  ^
/root/JavaX-Caches/tmp_859941835/main.java:5: error: class, interface, or enum expected
  for (Web web : webs) {
  ^
/root/JavaX-Caches/tmp_859941835/main.java:7: error: class, interface, or enum expected
    if (t == null) fail("Not tripelizable: " + webToStringShort(web));
    ^
/root/JavaX-Caches/tmp_859941835/main.java:8: error: class, interface, or enum expected
    S moreInfo = quote(unnull(web.globalID())) + " " + quote(unnull(web.title)) + " " + quote(unnull(web.source)) + " " + (web.unverified ? "u" : "v") + " " + web.created;
    ^
/root/JavaX-Caches/tmp_859941835/main.java:9: error: class, interface, or enum expected
    buf.append(
    ^
/root/JavaX-Caches/tmp_859941835/main.java:13: error: class, interface, or enum expected
  }
  ^
/root/JavaX-Caches/tmp_859941835/main.java:16: error: class, interface, or enum expected
  out.println();
  ^
/root/JavaX-Caches/tmp_859941835/main.java:17: error: class, interface, or enum expected
  out.print(buf);
  ^
/root/JavaX-Caches/tmp_859941835/main.java:18: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_859941835/main.java:22: error: class, interface, or enum expected
  if (i == null) {
  ^
/root/JavaX-Caches/tmp_859941835/main.java:24: error: class, interface, or enum expected
    names.add(s);
    ^
/root/JavaX-Caches/tmp_859941835/main.java:25: error: class, interface, or enum expected
    index.put(s, i);
    ^
/root/JavaX-Caches/tmp_859941835/main.java:26: error: class, interface, or enum expected
  }
  ^
/root/JavaX-Caches/tmp_859941835/main.java:28: error: class, interface, or enum expected
}
^
16 errors</xmp><br>