DefaultTicketPoolManager ticketPoolManager = new DefaultTicketPoolManager();
    ticketPoolManager.add(new TicketPool(DefaultTicketPoolManager.DEFAULT_POOL_ID, 50));
    ticketPoolManager.add(new TicketPool(T_POOL_ID, 50));
    ticketPoolManager.addMapping(WF_CLASSNAME, T_POOL_ID);
    FileBasedWorkflowRepository repo = new FileBasedWorkflowRepository();
    repo.addSourceDir("src/workflow/java");
    repo.setTargetDir("build/compiled_workflow");
    
    repo.start();
    ticketPoolManager.startup();
    try {
      Workflow<?> wf = repo.createWorkflowFactory(WF_CLASSNAME).newInstance();
      String tpId = ticketPoolManager.obtainAndReturnTicketPoolId(wf);
      assertEquals(T_POOL_ID, tpId);
    }
    finally {
      repo.shutdown();
      ticketPoolManager.shutdown();
    }
  }