public AnalysisResult getAnalysis(Method method) throws CFGBuilderException {
public Analysis getAnalysis(Method method) throws CFGBuilderException {
		public AnalysisResult getAnalysis(Method method) throws CFGBuilderException {			try {				return super.getAnalysis(method);			} catch (DataflowAnalysisException e) {				throw new IllegalStateException("Should not happen");			}		}