bug?: java won't read timestamps

Hi there,

I have a table containing "timestamp with time zone" and I observed
a strange problem:

THE ENVIRONMENT:
Linux 2.4.0
Postgres 7.1.2
JDK 1.3.1 (same with JDK 1.3.0)
postgresql.jar from $PGHOME/share/java

THE TABLE:
Table "hits"
Attribute | Type | Modifier
--------------+--------------------------+----------
id | integer |
zeit | timestamp with time zone |

THE PROGRAM:

stmt = toDB.createStatement();
ResultSet rs = stmt.executeQuery( "SELECT max(zeit) FROM hits" );
rs.next();
ts = rs.getTimestamp(1); // <-- breaks here
stmt.close();

THE ERROR:

Bad Timestamp Format at 19 in 2001-03-05 17:17:13.24+01

The second fraction seems not to be supported by the jdbc timestamp
reader. BTW: there is no format specifier for them as well (at least
in the docs).

I am helping myself by forcing a different output
to_char(max(zeit),"YYYY-MM-DD HH24:MI:SS+01")
Is there a better solution?

(Is the relevant code in java.sql or is it in org.postgresql?)

With kind regards / Mit freundlichem Gruß
Holger Klawitter
--
Holger Klawitter
holger(at)klawitter(dot)de http://www.klawitter.de