XField field = XFactory.createXField(ins.getClassName(cpg), ins.getFieldName(cpg), ins.getSignature(cpg), false, 0);
XField field = XFactory.createXField(ins, cpg);
	private void examinePutfieldInstruction(Location location, PUTFIELD ins, 		ConstantPoolGen cpg) throws DataflowAnalysisException, CFGBuilderException {				IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method);		IsNullValueFrame frame = invDataflow.getFactAtLocation(location);		if (!frame.isValid())			return;		IsNullValue tos = frame.getTopValue();		if (tos.mightBeNull()) {			XField field = XFactory.createXField(ins.getClassName(cpg), ins.getFieldName(cpg), ins.getSignature(cpg), false, 0);			NullnessAnnotation annotation = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase().getResolvedAnnotation(field, false);			if (annotation == NullnessAnnotation.NONNULL) {					MethodGen methodGen = classContext.getMethodGen(method);			String sourceFile = classContext.getJavaClass().getSourceFileName();									BugInstance warning = new BugInstance("NP_STORE_INTO_NONNULL_FIELD", tos.isDefinitelyNull() ?					HIGH_PRIORITY : NORMAL_PRIORITY)				.addClassAndMethod(methodGen, sourceFile)				.addField(field)				.addSourceLine(classContext, methodGen, sourceFile, location.getHandle());						bugReporter.reportBug(warning);			}		}	}