Hi,
I think there's an error in the Documentation section in thepostgresql-jdbc web page. You have two 8.5devel. One of them should be8.4 (the second one).
-- Emanuel Couto