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