JDBC ResultSetMetaData.getColumnType and getColumnTypeName work properly?

If I create a table thus:

CREATE TABLE title (
    title        text    NOT NULL,
    editions    int4[]
);

and through the JDBC ResultMetaData.getColumnType() interface try to get
the
type of the 'editions' column, I get the value sql.Types.OTHER.  I would
have
guessed it would have been Types.ARRAY.  Am I missing something?

Also getColumnTypeName() returns _int4; is that correct?

Shankha Mitra


As an aside, I decided to print out the values of all the JDBC types and
I get:
ARRAY=2003
BIGINT=-5
BINARY=-2
BIT=-7
BLOB=2004
CHAR=1
CLOB=2005
DATE=91
DECIMAL=3
DISTINCT=2001
DOUBLE=8
FLOAT=6
INTEGER=4
JAVA_OBJECT=2000
LONGVARBINARY=-4
LONGVARCHAR=-1
NULL=0
NUMERIC=2
OTHER=1111
REAL=7
REF=2006
SMALLINT=5
STRUCT=2002
TIME=92
TIMESTAMP=93
TINYINT=-6
VARBINARY=-3
VARCHAR=12