NULL_DEREFERENCE and RESOURCE_LEAK

Hello.java

import java.io.IOException;
import java.io.FileOutputStream;
class Hello {
  int testInfer_NPE() {
    String s = null;
    return s.length();
  }

  void testInfer_notClose() throws IOException {
    FileOutputStream s = new FileOutputStream("output.txt");
    s.write(48);
  }
}

infer results

/Users/JP20353/proj/infer/Hello.java:6: error: NULL_DEREFERENCE
   object s last assigned on line 5 could be null and is dereferenced at line 6

/Users/JP20353/proj/infer/Hello.java:11: error: RESOURCE_LEAK
   resource acquired to s by call to FileOutputStream(...) at line 10 is not released after line 11