NullnessAnnotation annotation = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase().getResolvedAnnotation(field, false);
if (field.getName().startsWith("class$")) { produce(IsNullValue.nonNullValue()); return; } NullnessAnnotation annotation = AnalysisContext .currentAnalysisContext().getNullnessAnnotationDatabase() .getResolvedAnnotation(field, false);
	public void visitGETSTATIC(GETSTATIC obj) {		if (getNumWordsProduced(obj) != 1) {			super.visitGETSTATIC(obj);			return;		}				if (checkForKnownValue(obj)) {			return;		}		XField field = XFactory.createXField(obj, cpg);				NullnessAnnotation annotation = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase().getResolvedAnnotation(field, false);		if (annotation == NullnessAnnotation.NONNULL) {			modelNormalInstruction(obj, getNumWordsConsumed(obj), 0);			produce(IsNullValue.nonNullValue());		}		else if (annotation == NullnessAnnotation.CHECK_FOR_NULL) {				modelNormalInstruction(obj, getNumWordsConsumed(obj), 0);				produce(IsNullValue.nullOnSimplePathValue());		} else {		super.visitGETSTATIC(obj);		}	}