openide/java/java-tests/testData/codeInsight/nullityinferrer/afterCatchParams.java

import org.jetbrains.annotations.*;

public class Infer {
    static public boolean a(@NotNull String s) {
        try {
            return s.length() > 0;
        } catch (final NullPointerException e) {
            e.printStackTrace();
            return false;
        }
    }

}