JavaTXCompilerInJavaTXNoMaven/lib/resources/bytecode/javFiles/SuperCall.jav

import java.lang.Integer;

class Parent {
    public Parent(Integer x) {}
}

public class SuperCall extends Parent {
    public SuperCall() {
        super(20);
    }
}