Wrote /root/JavaX-Caches/tmp_2006795887/main.java - 645 bytes (written=645, should be 645)
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_562784377 /root/JavaX-Caches/tmp_2006795887/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1005279&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1005279&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1005279'>Show snippet.</a> <a href='/tb/snippets.php?id=1005279'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_2006795887/main.java:1: error: class, interface, or enum expected
concept Str extends DefiniteThing {
^
/root/JavaX-Caches/tmp_2006795887/main.java:3: error: class, interface, or enum expected
  new L<S> otherNames;
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:5: error: class, interface, or enum expected
  *() {}
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:8: error: class, interface, or enum expected
  public S toString() { ret name; }
         ^
/root/JavaX-Caches/tmp_2006795887/main.java:8: error: class, interface, or enum expected
  public S toString() { ret name; }
                                  ^
/root/JavaX-Caches/tmp_2006795887/main.java:12: error: <identifier> expected
  for (Str s : list(Str.class))
                             ^
/root/JavaX-Caches/tmp_2006795887/main.java:15: error: class, interface, or enum expected
  ret new Str(name);
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:16: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_2006795887/main.java:20: error: class, interface, or enum expected
  if (nempty(b.backRefs)) {
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:22: error: class, interface, or enum expected
    a = b;
    ^
/root/JavaX-Caches/tmp_2006795887/main.java:23: error: class, interface, or enum expected
    b = t;
    ^
/root/JavaX-Caches/tmp_2006795887/main.java:24: error: class, interface, or enum expected
  }
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:26: error: class, interface, or enum expected
  a.otherNames.addAll(b.otherNames);
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:27: error: class, interface, or enum expected
  if (nempty(b.backRefs))
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:29: error: class, interface, or enum expected
  b.delete();
  ^
/root/JavaX-Caches/tmp_2006795887/main.java:30: error: class, interface, or enum expected
}
^
16 errors</xmp><br>