static void write(OutputStream ostream, short value)
public static void write(OutputStream ostream, short value)
  static void write(OutputStream ostream, short value)  {    ostream.write_short(value);  }