} else if (exitStatus == ResourceValueFrame.CLOSED) {    stream.setClosed();
	public void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,		Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream) {		ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		int exitStatus = exitFrame.getStatus();		if (exitStatus == ResourceValueFrame.OPEN			|| exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {			// FIXME: Stream object should be queried for the			// priority.			String bugType = stream.getBugType();			int priority = NORMAL_PRIORITY;			if (exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {				bugType += "_EXCEPTION_PATH";				priority = LOW_PRIORITY;			}			potentialOpenStreamList.add(new PotentialOpenStream(bugType, priority, stream));		}	}