AnalysisContext.currentAnalysisContext().setNonNullParamDatabase(database);
FindNullDeref.nonNullParamDatabase.set(database);
	public void visitClassContext(ClassContext classContext) {		if (database == null) {			database = new NonNullParamPropertyDatabase();			AnalysisContext.currentAnalysisContext().setNonNullParamDatabase(database);		}				classContext.getJavaClass().accept(this);	}