@Override
 public void setUp() throws Exception {
   super.setUp();
   // Set default preferences.
   setEmpty(false);
   setLast(true);
 }
 @Override
 public void setUp() throws Exception {
   super.setUp();
   enableProblems(NonVirtualDestructor.PROBLEM_ID);
 }