Does anybody want to try adding mutation testing to pgjdbc codebase?
I hope it should help to test tests.
Recently I noticed there's https://www.arcmutate.com/ effort by pitest team They unlock running mutation testing for the pull requests, so it sounds like a good plan to surface bugs in the added code.
I could help you with guiding through CI/Gradle stuff if needed, however, I have not tried arcmutate yet.