throw new AnalysisException("FindNullDeref caught exception", e);
throw new AnalysisException("FindNullDeref caught exception: " + e, e);
	public void visitClassContext(ClassContext classContext) {		try {			JavaClass jclass = classContext.getJavaClass();			Method[] methodList = jclass.getMethods();			for (int i = 0; i < methodList.length; ++i) {				Method method = methodList[i];				if (method.isAbstract() || method.isNative() || method.getCode() == null)					continue;				analyzeMethod(classContext, method);			}		} catch (DataflowAnalysisException e) {			throw new AnalysisException("FindNullDeref caught exception", e);		} catch (CFGBuilderException e) {			throw new AnalysisException(e.getMessage());		}	}