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