pgjdbc/pgjdbc — pull request #102 by hlinnaka (2013-11-13 20:07:32+00:00)
Title: Coverity fixes

Here's a few trivial changes to silence issues Coverity Scan flagged up.