Wrote /root/JavaX-Caches/tmp_478495424/main.java - 500 bytes (written=500, should be 500)
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_498782039 /root/JavaX-Caches/tmp_478495424/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1012726&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1012726&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1012726'>Show snippet.</a> <a href='/tb/snippets.php?id=1012726'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_478495424/main.java:1: error: class, interface, or enum expected
static void printThoughtSpace(AbstractThoughtSpace ts) {
       ^
/root/JavaX-Caches/tmp_478495424/main.java:3: error: class, interface, or enum expected
  if (ts instanceof GlobalThoughtSpace) ret with print("Global thought space");
  ^
/root/JavaX-Caches/tmp_478495424/main.java:4: error: class, interface, or enum expected
  if (!ts instanceof ActualThoughtSpace) ret with print(className(ts));
  ^
/root/JavaX-Caches/tmp_478495424/main.java:6: error: class, interface, or enum expected
  ActualThoughtSpace ats = cast ts;
  ^
/root/JavaX-Caches/tmp_478495424/main.java:7: error: class, interface, or enum expected
  print("Thought space with " + nWeb(ts.size()) + ":");
  ^
/root/JavaX-Caches/tmp_478495424/main.java:8: error: class, interface, or enum expected
  for (TripleWeb w : ats.index.allTriples())
  ^
/root/JavaX-Caches/tmp_478495424/main.java:10: error: class, interface, or enum expected
  print();
  ^
/root/JavaX-Caches/tmp_478495424/main.java:11: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_478495424/main.java:15: error: class, interface, or enum expected
}
^
9 errors</xmp><br>