Wrote /root/JavaX-Caches/tmp_1453317157/main.java - 379 bytes (written=379, should be 379)
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_1307860249 /root/JavaX-Caches/tmp_1453317157/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1011648&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1011648&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1011648'>Show snippet.</a> <a href='/tb/snippets.php?id=1011648'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_1453317157/main.java:1: error: class, interface, or enum expected
static void ai_spec_checkFact(S question) {
       ^
/root/JavaX-Caches/tmp_1453317157/main.java:5: error: class, interface, or enum expected
    if (ai_hasTriple_vary(fact, "is", "probably not true"))
    ^
/root/JavaX-Caches/tmp_1453317157/main.java:7: error: class, interface, or enum expected
  }
  ^
3 errors</xmp><br>