RefreshProvider.createPollingMonitor(
IResource resource)
Creates a new refresh monitor that performs naive polling of the resource
in the file system to detect changes.
IRefreshResult.monitorFailed(
IRefreshMonitor monitor,
IResource resource)
Notifies that the given monitor has encountered a failure from which it
cannot recover while monitoring the given resource.