public class WorkspaceModelManagerTest extends AbstractDubModelManagerTest {
@Test
public void testShutdown() throws Exception { testShutdown$(); }
public void testShutdown$() throws Exception {
WorkspaceModelManager dmm = new WorkspaceModelManager(new WorkspaceModel());
dmm.initializeModelManager();
final CountDownLatch latch = new CountDownLatch(1);
dmm.modelAgent.submit(new Callable<Void>() {
@Override