<div dir="ltr"><div>I did a case study on slf4j using <a href="https://checkerframework.org/">Checker Framework</a>. The Case Study revealed some possible NullPointerException that can be caused in future.</div><div>Should I make a pull request for the rectification for the same.<br></div></div>