A mitigation for CVE-2021-44228 (log4shell) that works by patching the vulnerability at runtime. (Works with any vulnerable java software, tested with java 6 and newer)
Why do you think that https://github.com/coq/coq is a good alternative to Log4jPatcher