JavaTXCompilerInJavaTXNoMaven/resources/bytecode/javFiles/Bug300.jav

import java.lang.String;

class Base {
    toString() {
        return "Base";
    }
}

public class Bug300 extends Base {
    public m() {
        return super.toString();
    }

    toString() {
        return "Derived";
    }
}