jdbc timestamp-parsing

There is a little typo in the code for getTimestamp
in the file jdbc1/ResultSet.java and jdbc2/ResultSet.java

public Timestamp getTimestamp(int columnIndex) throws SQLException
{
String s = getString(columnIndex);
SimpleDateFormat df = new SimpleDateFormat("yyyy-MM-dd
HH:mm:sszzz");

if (s != null)
{
int TZ = new Float(s.substring(19)).intValue();
TZ = TZ * 60 * 60 * 1000;
TimeZone zone = TimeZone.getDefault();
zone.setRawOffset(TZ);
String nm = zone.getID();
--> s = s.substring(0,18) + nm; // should probably be s.substring(0,19)+
nm

which leads to an incorrect interpretation of timestamps:

timestamp:1999-01-03 18:35:47+01
date:1999-01-03 18:35:04.0

.

Thomas Rohwer