FileOutputStream out = new FileOutputStream("unconditionalDeref.db"); database.write(out);
database.writeToFile("unconditionalDeref.db");
	public void report() {		database.propagateThroughClassHierarchy();		try {			FileOutputStream out = new FileOutputStream("unconditionalDeref.db");			database.write(out);		} catch (IOException e) {			bugReporter.logError("Couldn't write unconditional deref database", e);		}	}