if (this.getMeanSatisfaction() > other.getMeanSatisfaction())
int thisMean = (int)(this.getMeanSatisfaction() * 1000); int otherMean = (int)(other.getMeanSatisfaction() * 1000);  if (thisMean > otherMean)
  public boolean greaterThan(Solution other)  {    if (this == other)      return false;  // identical        if (this.getMeanSatisfaction() > other.getMeanSatisfaction())      return true;    else if (this.getMeanSatisfaction() < other.getMeanSatisfaction())      return false;        // same mean deviation, compare max deviation    return this.getMinimumSatisfaction() > other.getMinimumSatisfaction();  }