autoNotNull.java

//file
class A {
    int foo(String s) {
        if (s != null) {
            return s.length();
        }
        return -1;
    }
}