Wrote /root/JavaX-Caches/tmp_1719772840/main.java - 1483 bytes (written=1483, should be 1483)
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_1282865248 /root/JavaX-Caches/tmp_1719772840/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1010470&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1010470&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1010470'>Show snippet.</a> <a href='/tb/snippets.php?id=1010470'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_1719772840/main.java:1: error: class, interface, or enum expected
static Web web_ifThen2(Web inputWeb, Web web) {
       ^
/root/JavaX-Caches/tmp_1719772840/main.java:3: error: class, interface, or enum expected
  web_dropRelationsStartingWith(patternWeb, "Then:");
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:5: error: class, interface, or enum expected
  Collection<WebNode> adders = mapUsingMap(reversedMap(patternMap), web_singleNodes(patternWeb));
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:6: error: class, interface, or enum expected
  web_dropSingleNodes(patternWeb); // To remove things only linked through "then" relations
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:8: error: class, interface, or enum expected
  Web thenWeb, Map<WebNode> thenMap = unpair cloneWebWithReverseMap(web);
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:9: error: class, interface, or enum expected
  web_unpackRelationsStartingWith(thenWeb, "Then:");
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:11: error: class, interface, or enum expected
  Map<WebNode> match = web_matchAllPerms_partial(patternWeb, inputWeb);
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:13: error: class, interface, or enum expected
  if (match != null) {
  ^
/root/JavaX-Caches/tmp_1719772840/main.java:17: error: class, interface, or enum expected
    new HashMap<WebNode> adderMap;
    ^
/root/JavaX-Caches/tmp_1719772840/main.java:18: error: class, interface, or enum expected
    for (WebNode n : adders) { // adders are in "web" space
    ^
/root/JavaX-Caches/tmp_1719772840/main.java:20: error: class, interface, or enum expected
      WebNode thenNode = reverseLookup(thenMap, n);
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:21: error: class, interface, or enum expected
      web_setLabels(inputNode = inputWeb.newNode(), n.labels);
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:22: error: class, interface, or enum expected
      adderMap.put(thenNode, inputNode);
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:23: error: class, interface, or enum expected
    }
    ^
/root/JavaX-Caches/tmp_1719772840/main.java:28: error: class, interface, or enum expected
      WebNode b = or(mapGet(adderMap, rel.b), mapGet(match, mapGet(patternMap, mapGet(thenMap, rel.b))));
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:29: error: class, interface, or enum expected
      if (a != null && b != null) {
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:31: error: class, interface, or enum expected
        web_addLabelsFromNodeToNode(rel, rel2);
        ^
/root/JavaX-Caches/tmp_1719772840/main.java:32: error: class, interface, or enum expected
      }
      ^
/root/JavaX-Caches/tmp_1719772840/main.java:37: error: class, interface, or enum expected
}
^
19 errors</xmp><br>