Enumeration enum = getQuery().getSourceClusters(); while (enum.hasMoreElements()) if (!responded.contains(enum.nextElement()))
Enumeration en = getQuery().getSourceClusters(); while (en.hasMoreElements()) if (!responded.contains(en.nextElement()))
    public boolean allClustersResponded() {      if (rawResultSet == null)        return false;            Set responded = rawResultSet.getRespondingClusters();      Enumeration enum = getQuery().getSourceClusters();      while (enum.hasMoreElements())        if (!responded.contains(enum.nextElement()))          return false;      return true;    }