// Additional cleanup
 @After
 public void stopAuction() {
   auction.stop();
 }