protected void increaseBufferSize(int minSize){
  int newLength=buf.length;
  while (newLength < minSize)   newLength*=2;
  double[] newBuf=new double[newLength];
  int avail=currentlyInBuffer();
  System.arraycopy(buf,readPos,newBuf,0,avail);
  buf=newBuf;
  readPos=0;
  writePos=avail;
}

protected void increaseBufferSize ( int minSize ) { int newLength = buf . length ; while ( newLength < minSize ) newLength *= 2 ; double [ ] newBuf = new double [ newLength ] ; int avail = currentlyInBuffer ( ) ; System . arraycopy ( buf , readPos , newBuf , 0 , avail ) ; buf = newBuf ; readPos = 0 ; writePos = avail ; }
increase the underlying buffer array in size , so that the new size is at least minsize
