public final short[] readShort(int len) throws IOException { short[] ret = new short[len]; for (int i = 0; i < len; i++) ret[i] = readShort(); return ret; }
public final short[] readShort(int len) throws IOException { short[] ret = new short[len]; for (int i = 0; i < len; i++) ret[i] = readShort(); return ret; }