Java ClassCastException using JDBC driver and selecting smallint arrays

Hello,

I am developing a Java application using PostgreSQL 9.4 and the current JDBC driver in version 9.4.1207.
I have a simple select statement on a table having a column of type smallint[].
The Java code in the row mapper after query execution looks like:

Array accessTypeArray = rs.getArray("accesstypes");
if (accessTypeArray != null) {
Integer[] accessTypeIds = (Integer[]) accessTypeArray.getArray();
...
}

In some cases of execution this code works fine, in other case (depending on the implementation of the underlying datasource, don't know exactly the
reason) the code ends up in:

java.lang.ClassCastException: [Ljava.lang.Short; cannot be cast to [Ljava.lang.Integer;

I have debugged for some time and found an inconsistent implementation in the class PgArray. Calling the method "getArray()" returns an array of Short
in case of "fieldBytes" not null (calling submethod "readBinaryArray()") or an array of Integer in the other case (calling submethod "buildArray()").

Is it correct that smallint arrays are mapped to Short[]? (see http://docs.oracle.com/javase/6/docs/technotes/guides/jdbc/getstart/mapping.html#table3)

Regards,
Michael