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.
_______________________________________________ slf4j-dev mailing list slf4j-dev@qos.ch http://mailman.qos.ch/mailman/listinfo/slf4j-dev