protected IStatus run(IProgressMonitor monitor)
{
if (update == updateCounter.get())
{
IWorkspace workspace = ResourcesPlugin.getWorkspace();
ResolveProjectsJob job = new ResolveProjectsJob(
workspace);
job.setSystem(true);
job.schedule();
}
return Status.OK_STATUS;
}
};
job.setSystem(true);
job.schedule(100);
}
//else {
// Repository changes are handled by ProjectResourceListener
//}
}