public BufferedIndexInput(String resourceDesc, int bufferSize) {super(resourceDesc);checkBufferSize(bufferSize);this.bufferSize = bufferSize;}
public BufferedIndexInput(string resourceDesc, int bufferSize): base(resourceDesc){CheckBufferSize(bufferSize);this.bufferSize = bufferSize;}