database, FindNullDeref.UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional deref database");
getDatabase(), AnalysisContext.UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional deref database");
	public void report() {		AnalysisContext.currentAnalysisContext().storePropertyDatabase(				database, FindNullDeref.UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional deref database");	}