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@pixelboxx.de
Ostenhellweg 56-58      http://www.pixelboxx.de/
44135 Dortmund          (02 31) 5 34 63-207
------------------------------------------------