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@klawitter.de                             http://www.klawitter.de