wrong parsing of "select version();"

Hello,

if I excute "select version();", then I recieve: "7.3.4-RH".
In the JDBC-Driver code however two of token are expected. A
NoSuchElementException could be thrown.
I think, there is a bug!

postgresql-jdbc-8.2-504.src.tar.gz:
ConnectionFactoryImpl.java line 426:

StringTokenizer versionParts = new StringTokenizer(rawDbVersion);
versionParts.nextToken(); /* "PostgreSQL" */
String dbVersion = versionParts.nextToken(); /* "X.Y.Z" */

Regards,

Eberhard Schulte

------------------------------------------------
Eberhard Schulte
Senior Software Engineer
Pixelboxx GmbH esc(at)pixelboxx(dot)de
Ostenhellweg 56-58 http://www.pixelboxx.de/
44135 Dortmund (02 31) 5 34 63-207
------------------------------------------------