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