Community
Participate
Working Groups
import java.util.List;
import java.util.Map;
import org.eclipse.core.internal.resources.Workspace;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IWorkspace;
if (iofile.exists() || compFile.exists()) {
IWorkspaceRoot root = ResourcesPlugin.getWorkspace().getRoot();
try {
// OK wait to get workspace root before refreshing
Workspace workspace = (Workspace)compFile.getWorkspace();
Job.getJobManager().beginRule(root, null);
if (workspace.getElementTree().isImmutable())
compFile.getProject().refreshLocal(IResource.DEPTH_INFINITE, null);
{
workspace.newWorkingTree();
}
((org.eclipse.core.internal.resources.Resource)compFile).getLocalManager().refresh(compFile.getProject(), IResource.DEPTH_INFINITE, true, null);
} catch (CoreException ce) {
// ignore
} finally {