.getCheckReturnAnnotationDatabase().addSyntheticElement(
.getNullnessAnnotationDatabase().addSyntheticElement(
	@Override public void visit(Synthetic a) {		if (visitingMethod()) {			AnalysisContext.currentAnalysisContext()			.getNullnessAnnotationDatabase().addSyntheticElement(					XFactory.createXMethod(this));		} else if (visitingField()) {			AnalysisContext.currentAnalysisContext()			.getNullnessAnnotationDatabase().addSyntheticElement(					XFactory.createXField(this));		} else {			AnalysisContext.currentAnalysisContext()			.getCheckReturnAnnotationDatabase().addSyntheticElement(					getDottedClassName());		}	}