if ((bucket >= 0) && (bucket < criticalLevelsArray.length)) { return criticalLevelsArray[bucket]; } return 0.0; }
  public double getCriticalLevel(int bucket) {    if (compute_critical_levels) {      computeCriticalLevels();      compute_critical_levels = false;    }    if ((bucket >= 0) && (bucket < criticalLevelsArray.length)) {      return criticalLevelsArray[bucket];    }    return 0.0;  }