HashSet res = new HashSet();
HashSet<SIROperator> res = new HashSet<SIROperator>();
    public HashSet getAllOperatorsInPhase(int phase) {        HashSet res = new HashSet();        Set key_set = phases.keySet();        Iterator iter = key_set.iterator();        while (iter.hasNext()) {            SIROperator oper = (SIROperator)iter.next();            if (((Integer)phases.get(oper)).intValue() == phase) {                 res.add(oper);            }        }            return res;     }