title: How to refresh resource from Eclipse Plugin?
body: <p>I have changed some resource. When I click on it in Eclipse I get info "Resource is out of sync". How can I refresh it? I tried <code>org.eclipse.core.resources.IResource.touch(IProgressMonitor)</code>, but it does not help</p>