database, MayReturnNullPropertyDatabase.DEFAULT_FILENAME, "null return database");
getDatabase(), AnalysisContext.DEFAULT_NULL_RETURN_VALUE_DB_FILENAME, "null return database");
	public void report() {		AnalysisContext.currentAnalysisContext().storePropertyDatabase(				database, MayReturnNullPropertyDatabase.DEFAULT_FILENAME, "null return database");	}