bug in PreparedStatement of JDBC in 7.2b4

I found a bug in PreparedStatement#setTimestamp() of JDBC included
in PostgreSQL7.2beta4. An attached patch corrects this bug.

(1) ".01" sec becomes ".10" sec

$ create table test(ts timestamp);

String sql = "insert into test values(?)";
PreparedStatement pst = db.prepareStatement(sql);
pst.setTimestamp(1, Timestamp.valueOf("2002-01-10 19:30:59.01"));
pst.executeUpdate();

$ select * from test;
$ 2002-01-10 19:30:59.10+09

Though I inserted ".01" second, ".10" second has been inserted.
There is this bug in 7.2beta4 and 7.1.3.

(2) ".876543210" sec becomes ".87" sec

pst.setTimestamp(1, Timestamp.valueOf("2002-01-10 19:30:59.876543210"));
pst.executeUpdate();

$ select * from test;
$ 2002-01-10 19:30:59.87+09

In PostgreSQL7.2, a decimal can insert only two columns, and remainder
is thrown away.