public void executeLinear() {
    try {
      int threshold = 20000 + 10 * (int)Math.sqrt(myCount1 + myCount2);
      execute(threshold, false);
    }
    catch (FilesTooBigForDiffException e) {
      throw new IllegalStateException(e); // should not happen
    }
  }
public void executeLinear()