JavaClass javaClass = classContext.getJavaClass();
	public void visitClassContext(ClassContext classContext) {		try {			Set<Method> lockedMethodSet = findLockedMethods(classContext);			JavaClass javaClass = classContext.getJavaClass();			Method[] methodList = javaClass.getMethods();			for (int i = 0; i < methodList.length; ++i) {				Method method = methodList[i];				if (classContext.getMethodGen(method) == null)					continue;				if (isConstructor(method.getName()))					continue;				analyzeMethod(classContext, method, lockedMethodSet);			}		} catch (CFGBuilderException e) {			throw new AnalysisException("FindInconsistentSync2 caught exception: " + e.toString(), e);		} catch (DataflowAnalysisException e) {			throw new AnalysisException("FindInconsistentSync2 caught exception: " + e.toString(), e);		}	}