This package specifies the APIs in the Resources plug-in that are intended
to be implemented and used by plug-ins using the refreshProviders
extension point.
This extension point is used by plug-ins to notify the workspace of changes that
have occurred externally in the file system.