this.fileName = paramString;
this.file = paramRandomAccessFile;
int i = paramDatabase.getProperties().getIntegerProperty("hsqldb.raf_buffer_scale", 12, 8, 13);
int j = 1 << i;
this.buffer = new byte[j];
this.ba = new HsqlByteArrayInputStream(this.buffer);
}