public static void writeShortInteger(OutputStream theOs,int theValue) throws IOException {
  theOs.write((byte)(theValue | (byte)0x80));
}

public static void writeShortInteger ( OutputStream theOs , int theValue ) throws IOException { theOs . write ( ( byte ) ( theValue | ( byte ) 0x80 ) ) ; }
writes a " short integer " in wsp format to the given output stream .
