JavaPatternMatching/resources/bytecode/javFiles/Bug295.jav

import java.lang.Integer;

public class Bug295 {
    public Integer a;
    public Integer b;
    public Integer c;

    public Bug295(a, b, c) {
        this(a);
        this.b = b;
        this.c = c;
    }

    public Bug295(a) {
        this.a = a;
    }
}