public ProcessWaitHandle (IntPtr handle)
{
// Need to keep a reference to this handle,
// in case the Process object is collected
Handle = ProcessHandle_duplicate (handle);
// When the wait handle is disposed, the duplicated handle will be
// closed, so no need to override dispose (bug #464628).
}
}