manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();
manager.disposeRuntimeEngine(runtime1); ((InternalRuntimeManager) manager).activate();