final FindUnreleasedLock detector = new FindUnreleasedLock(null);
	public static void main(String[] argv) throws Exception {		if (argv.length != 3) {			System.err.println("Usage: " + FindUnreleasedLock.class.getName() + " <class file> <method name> <bytecode offset>");			System.exit(1);		}		String classFile = argv[0];		String methodName = argv[1];		int offset = Integer.parseInt(argv[2]);		ResourceValueAnalysisTestDriver<Lock, LockResourceTracker> driver =			new ResourceValueAnalysisTestDriver<Lock, LockResourceTracker>() {				@Override				public LockResourceTracker createResourceTracker(ClassContext classContext, Method method)						throws CFGBuilderException, DataflowAnalysisException {					RepositoryLookupFailureCallback lookupFailureCallback = classContext.getLookupFailureCallback();					return new LockResourceTracker(								lookupFailureCallback,								classContext.getCFG(method),								classContext.getValueNumberDataflow(method),								classContext.getIsNullValueDataflow(method));				}		};		driver.execute(classFile, methodName, offset);	}