try { database.writeToFile(MayReturnNullPropertyDatabase.DEFAULT_FILENAME); } catch (IOException e) { bugReporter.logError("Couldn't write may return null database", e); }
AnalysisContext.currentAnalysisContext().storePropertyDatabase( database, MayReturnNullPropertyDatabase.DEFAULT_FILENAME, "null return database");
	public void report() {		try {			database.writeToFile(MayReturnNullPropertyDatabase.DEFAULT_FILENAME);		} catch (IOException e) {			bugReporter.logError("Couldn't write may return null database", e);		}	}