/** * Dump exceptions attribute to file stream in binary format. * * @param file Output file stream * @throws IOException */ public final void dump(DataOutputStream file) throws IOException { super.dump(file); file.writeShort(number_of_exceptions); for (int i = 0; i < number_of_exceptions; i++) file.writeShort(exception_index_table[i]); }