try { database.writeToFile(FindNullDeref.UNCONDITIONAL_DEREF_DB_FILENAME); } catch (IOException e) { bugReporter.logError("Couldn't write unconditional deref database", e); }
AnalysisContext.currentAnalysisContext().storePropertyDatabase( database, FindNullDeref.UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional deref database");
	public void report() {		try {			database.writeToFile(FindNullDeref.UNCONDITIONAL_DEREF_DB_FILENAME);		} catch (IOException e) {			bugReporter.logError("Couldn't write unconditional deref database", e);		}	}