FileOutputStream out = new FileOutputStream("mayReturnNull.db"); database.write(out);
database.writeToFile(MayReturnNullPropertyDatabase.DEFAULT_FILENAME);
	public void report() {		database.propagateThroughClassHierarchy();		try {			FileOutputStream out = new FileOutputStream("mayReturnNull.db");			database.write(out);		} catch (IOException e) {			bugReporter.logError("Couldn't write may return null database", e);		}	}