Standard output
38460 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading class A1 { public A1() { }}
38579 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading package qwe.rty; import qwe.rty.A; import dfg.hjk.*; import java.util.*;public abstract class A implements Z{static {d=3; Object v = new Object()[...]
38757 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class B extends Object {class E { public E(Object s) {super();} }}
38783 DEBUG Test worker d.u.i.k.j.r.ClassPreparationMethodBuilder clPrepBuilder: Inner Class detected. Reject building class initialisation methods.
38834 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading class circ_A { static int a = circ_B.b; } class circ_B { static int b = circ_A.a; }
38914 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading class circ2_A { static final int a = circ2_B.b; } class circ2_B { static final int b = circ2_A.a; }
39021 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading class Cycle1 { void m(Cycle2 c) {} } class Cycle2 { void m(Cycle1 c) {} }
39106 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading class EmptyConstr { EmptyConstr(); }