private void DestroyEngine() { if (symbolResolver != null) { symbolResolver.Dispose(); symbolResolver = null; } if (debuggee != null) { this.debuggee.Dispose(); debuggee = null; } }