This is called by the super class in FoodMartTestCase.tearDown() already.