public void Dispose()
{
if (shutdownKernel_ != null)
{
_Extend.ResetDependencyProperties();
System.GC.Collect();
System.GC.WaitForPendingFinalizers();
_Extend.Initialized(false);
shutdownKernel_();
_Extend.UnregisterCallbacks();
UnregisterFunctions();
Error.UnregisterFunctions();
Log.UnregisterFunctions();
_Extend.UnregisterFunctions();
_NoesisGUI_PINVOKE.UnregisterFunctions();
library_.Dispose();
}
System.GC.SuppressFinalize(this);
}