if (database == null) { database = new NonNullParamPropertyDatabase(); FindNullDeref.nonNullParamDatabase.set(database);
if (nonNullDatabase == null) { nonNullDatabase = new NonNullParamPropertyDatabase(); FindNullDeref.nonNullParamDatabase.set(nonNullDatabase); possiblyNullDatabase = new NonNullParamPropertyDatabase(); FindNullDeref.possiblyNullParamDatabase.set(possiblyNullDatabase);
	public void visitClassContext(ClassContext classContext) {		if (database == null) {			database = new NonNullParamPropertyDatabase();			FindNullDeref.nonNullParamDatabase.set(database);		}				classContext.getJavaClass().accept(this);	}