Api unchanged

Keep API unchanged by passing cancellation token around via the progress monitor.