void shrink(){
  if (intervals != null) {
    int currentSize=intervalIdx + 1;
    if (currentSize < intervals.length) {
      BitInterval[] tmp=new BitInterval[currentSize];
      System.arraycopy(intervals,0,tmp,0,currentSize);
      intervals=tmp;
    }
  }
}

void shrink ( ) { if ( intervals != null ) { int currentSize = intervalIdx + 1 ; if ( currentSize < intervals . length ) { BitInterval [ ] tmp = new BitInterval [ currentSize ] ; System . arraycopy ( intervals , 0 , tmp , 0 , currentSize ) ; intervals = tmp ; } } }
free up any unused memory
