class oadd.org.apache.hadoop.io.SequenceFile$Reader$BufferSizeOption extends oadd.org.apache.hadoop.util.Options$IntegerOption implements oadd.org.apache.hadoop.io.SequenceFile$Reader$Option { private void (int) { int v; oadd.org.apache.hadoop.io.SequenceFile$Reader$BufferSizeOption v; v := @this: oadd.org.apache.hadoop.io.SequenceFile$Reader$BufferSizeOption; v := @parameter: int; specialinvoke v.(int)>(v); return; } }