postgresql.badint property name was probably meant to be

postgresql.res.badint, since that's the name in the properties file.

src/interfaces/jdbc/org/postgresql/jdbc1/ResultSet.java

@@ -258,7 +258,7 @@ public class ResultSet extends org.postgresql.ResultSet implements java.sql.Resu
 	  {
 	    return Integer.parseInt(s);
 	  } catch (NumberFormatException e) {
-	    throw new PSQLException ("postgresql.badint",s);
+	    throw new PSQLException ("postgresql.res.badint",s);
 	  }
       }
     return 0;		// SQL NULL