<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<fragment
   id="org.eclipse.core.resources.win32"
   name="%win32FragmentName"
   version="3.0.0"
   provider-name="%providerName"
   plugin-id="org.eclipse.core.resources"
   plugin-version="3.0">

   <runtime>
      <library name="resources-win32.jar">
         <export name="*"/>
      </library>
   </runtime>


   <extension
         id="win32"
         point="org.eclipse.core.resources.refreshProviders">
      <refreshProvider
            name="%win32MonitorFactoryName"
            class="org.eclipse.core.internal.resources.refresh.win32.Win32RefreshProvider">
      </refreshProvider>
   </extension>
</fragment>
