We ran into the reported issue (https://github.com/pgjdbc/pgjdbc/issues/2520) and I have a small fix for it. I was not able to create a PR, as I'm probably not following the correct process (I did read contributing.md and tested on my local env). I attached the patch to the GitHub issue. Could anyone advise on how to properly submit the fix?