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