ShortSeqHolder h = new ShortSeqHolder(); h._read(input); return h.value;
short[] value = new short[ input.read_long() ]; input.read_short_array(value, 0, value.length); return value;
  public static short[] read(InputStream input)  {    ShortSeqHolder h = new ShortSeqHolder();    h._read(input);    return h.value;  }