(new TreeDM()).runBM( args );
(new TreeDM()).runHarness( args );
  public static void main(String[] args) throws Exception {    // NOTE: When running mergecases, check that the parameters are set as follows:    // COPY_TRESHOLD = 0 (otherwise cases with copies won't work) (normal value = 18)    //    String[] argset = {"../../usecases/pdaedit/ccs-complex-2.html","../../usecases/pdaedit/edit.log"};//    String[] argset = {"rm.xml","edit.log"};    //(new TreeDM()).runOOMarkup( argset );    (new TreeDM()).runBM( args );    //(new TreeDM()).runHarness( args );  }