ControlFlow.java

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

// test-case for issue 160
public class ControlFlow {
    public static void main(String[] args) {
        String s = null;
        if (s == null) {
            // Important!
        } else {
            // Can also throw exception or call System#exit
            return;
        }
        //:: error: (dereference.of.nullable)
        System.out.println(s.toString());
    }
}