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

import org.jetbrains.annotations.*;

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

}