Hi Dave,
May the patch be included in the upcoming PostgreSQL 9.3 JDBC driver?
http://www.postgresql.org/message-id/CAFKiveQyuA+PQ310pV3tLB5yyjWWbNsuyMaLcpuEW3jk8F_uFg(at)mail(dot)gmail(dot)com
Thanks.