this.allFrames = allFrames;
this.allFrames = new HashSet(allFrames);
    public FrameHelper(Collection allFrames, FrameSet frameSet) {       	this.allFrames = allFrames;        this.frameSet = frameSet;        process(allFrames);        if (log.isDebugEnabled())                log.debug("FrameHelper(): initialized with "+allFrames.size()+" frames and frameset="+frameSet.getName());    }