Wrote /root/JavaX-Caches/tmp_1305231803/main.java - 601 bytes (written=601, should be 601)
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_791345091 /root/JavaX-Caches/tmp_1305231803/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1011494&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1011494&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1011494'>Show snippet.</a> <a href='/tb/snippets.php?id=1011494'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_1305231803/main.java:1: error: class, interface, or enum expected
static bool ai_cache_hasTriple_verified(S a, S b, S c) {
       ^
/root/JavaX-Caches/tmp_1305231803/main.java:4: error: class, interface, or enum expected
  if (ai_useThoughtSpaces())
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:7: error: class, interface, or enum expected
  AI_CacheChecker checker = ai_cacheChecker();
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:8: error: class, interface, or enum expected
  if (checker != null && checker.hasTriple(symbol(a), symbol(b), symbol(c))) true;
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:10: error: class, interface, or enum expected
  L<Web> webs = ai_fewestIndexedWebs_verified(a, b, c);
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:11: error: class, interface, or enum expected
  bool x = webs_search_noVar_bool(webFromTriple(a, b, c), webs);
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:12: error: class, interface, or enum expected
  ret x;
  ^
/root/JavaX-Caches/tmp_1305231803/main.java:13: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1305231803/main.java:17: error: class, interface, or enum expected
}
^
9 errors</xmp><br>