Throwing.java

import org.checkerframework.checker.nullness.qual.*;

public class Throwing {

    String a;

    //:: error: (initialization.fields.uninitialized)
    public Throwing(boolean throwError) {
        if (throwError) {
            throw new RuntimeException("not a real error");
        }
    }

    //:: error: (initialization.fields.uninitialized)
    public Throwing(int input) {
        try {
            throw new RuntimeException("not a real error");
        } catch (RuntimeException e) {
            // do nothing
        }
    }
}