Re: reading an oidvector field error

I solve the problem by getting the field as a String and implementing
a simple parser for the result.
All the ways I test the choice of cast the field as a int8[] and get
this exception:

java.sql.SQLException: ERROR: cannot cast type oidvector to bigint[]
        at org.postgresql.core.v3.QueryExecutorImpl.receiveErrorResponse(QueryExecutorImpl.java:1482)
        at org.postgresql.core.v3.QueryExecutorImpl.processResults(QueryExecutorImpl.java:1267)
        at org.postgresql.core.v3.QueryExecutorImpl.execute(QueryExecutorImpl.java:186)
        at org.postgresql.jdbc2.AbstractJdbc2Statement.execute(AbstractJdbc2Statement.java:392)
        at org.postgresql.jdbc2.AbstractJdbc2Statement.executeWithFlags(AbstractJdbc2Statement.java:314)
        at org.postgresql.jdbc2.AbstractJdbc2Statement.executeQuery(AbstractJdbc2Statement.java:221)
        at pgObjects.PgServer.executeQuery(PgServer.java:372)
        at pgObjects.PgDatabase.loadFunctionsFromDatabase(PgDatabase.java:864)
        at test.Test.showFunctions(Test.java:134)
        at test.Test.main(Test.java:166)

Thanks a lot for all of you,
Takeichi.