if (DEBUG) { System.out.println("Resource value at exit: " + exitFrame); }
	public void inspectResult(ClassContext classContext, MethodGen methodGen, CFG cfg,			Dataflow<ResourceValueFrame, ResourceValueAnalysis<Lock>> dataflow, Lock resource) {		JavaClass javaClass = classContext.getJavaClass();				ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		int exitStatus = exitFrame.getStatus();		if (exitStatus == ResourceValueFrame.OPEN || exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {			String bugType;			int priority;			if (exitStatus == ResourceValueFrame.OPEN) {				bugType = "UL_UNRELEASED_LOCK";				priority = HIGH_PRIORITY;			} else {				bugType = "UL_UNRELEASED_LOCK_EXCEPTION_PATH";				priority = NORMAL_PRIORITY;			}			String sourceFile = javaClass.getSourceFileName();			bugReporter.reportBug(new BugInstance(this, bugType, priority)					.addClassAndMethod(methodGen, sourceFile)					.addSourceLine(classContext, methodGen, sourceFile, resource.getLocation().getHandle()));		}	}