@Override
 protected void tearDown() throws Exception {
   Options.resetFinalMethodsAsFunctions();
   super.tearDown();
 }
 @Override
 protected void setUp() throws IOException {
   super.setUp();
   Options.enableFinalMethodsAsFunctions();
 }