public void autoReorder(ReorderMethod method) { int x = method.id; bdd_autoreorder(x); }
public void autoReorder(ReorderMethod method) { bdd_autoreorder(method.id); }
    public void autoReorder(ReorderMethod method) {        int x = method.id;        bdd_autoreorder(x);    }