String[] taux = that.auxqueries; if (auxqueries != taux) { if (!Arrays.equals(taux, auxqueries)) return false;
String[] taux = that.currentAuxQueries(); synchronized (avResults) { if (auxqueries != taux) { if (!Arrays.equals(taux, auxqueries)) return false; }
  public boolean isEqual(AllocationResult that) {    if (this == that) return true; // quick success    if (that == null) return false; // quick fail    if (!(this.isSuccess() == that.isSuccess() &&          this.isPhased() == that.isPhased() &&          this.getConfidenceRating() == that.getConfidenceRating())) {      return false;    }           //check the real stuff now!    //check the aspect types    //check the summary results    synchronized (avResults) {      if (!AspectValue.nearlyEquals(this.avResults, that.avResults)) return false;      // check the phased results      if (isPhased()) {        Iterator i1 = that.phasedavrs.iterator();        Iterator i2 = this.phasedavrs.iterator();        while (i1.hasNext()) {          if (!i2.hasNext()) return false;          if (!AspectValue.nearlyEquals((AspectValue[]) i1.next(), (AspectValue[]) i2.next())) return false;        }        if (i2.hasNext()) return false;      }    }    // check the aux queries        String[] taux = that.auxqueries;    if (auxqueries != taux) {      if (!Arrays.equals(taux, auxqueries)) return false;    }    // must be equals...    return true;  }