bdd.registerResizeCallback(this, m);
try { bdd.registerResizeCallback(this, m); } catch (UnsupportedOperationException _) { System.err.println("Warning: "+bdd.getVersion()+" does not support callbacks"); continue; }
    public void testResizeCallback() {        reset();        Method m;        try {            m = CallbackTests.class.getDeclaredMethod("my_resize_callback",                new Class[] { int.class, int.class });        } catch (SecurityException e) {            Assert.fail(e.toString());            return;        } catch (NoSuchMethodException e) {            Assert.fail(e.toString());            return;        }        Assert.assertTrue(hasNext());        while (hasNext()) {            BDDFactory bdd = nextFactory();            bdd.registerResizeCallback(this, m);            resize_called = false;            int newSize = bdd.getNodeTableSize() * 2;            bdd.setNodeTableSize(newSize);            Assert.assertTrue(resize_called);            bdd.unregisterResizeCallback(this, m);        }    }