database.readFromFile(DEFAULT_FILENAME);
database.readFromFile(AnalysisContext.DEFAULT_NULL_RETURN_VALUE_DB_FILENAME);
	public static void main(String[] args) throws Exception {		MayReturnNullPropertyDatabase database = new MayReturnNullPropertyDatabase();		database.readFromFile(DEFAULT_FILENAME);	}