int offset = 0;
	private void checkNonNullParam(			Location location, 			ConstantPoolGen cpg,			TypeDataflow typeDataflow,			InvokeInstruction invokeInstruction,			BitSet nullArgSet,			BitSet definitelyNullArgSet) throws ClassNotFoundException {				XMethod m = XFactory.createXMethod(invokeInstruction, cpg);		int offset = 0;		NullnessAnnotationDatabase db 		= AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();		for(int i=nullArgSet.nextSetBit(0); i>=0; i=nullArgSet.nextSetBit(i+1)) 			if (i >= offset && db.parameterMustBeNonNull(m, i-offset)) {				boolean definitelyNull = definitelyNullArgSet.get(i);				if (DEBUG_NULLARG) {			    System.out.println("QQQ2: " + i + " " + offset + " is null");			    System.out.println("QQQ nullArgSet: " + nullArgSet);			    System.out.println("QQQ dnullArgSet: " + definitelyNullArgSet);				}								MethodGen methodGen = classContext.getMethodGen(method);				String sourceFile = classContext.getJavaClass().getSourceFileName();								BugInstance warning = new BugInstance("NP_NONNULL_PARAM_VIOLATION", 						definitelyNull ? HIGH_PRIORITY : NORMAL_PRIORITY)						.addClassAndMethod(methodGen, sourceFile)						.addMethod(m).describe("METHOD_CALLED")						.addSourceLine(classContext, methodGen, sourceFile, location.getHandle());				warning.addInt(i).describe("INT_NONNULL_PARAM");								bugReporter.reportBug(warning);			}			}