private void runRefreshJob(Collection<IPath> paths) {
Job[] jobs = Job.getJobManager().find(ResourcesPlugin.FAMILY_MANUAL_REFRESH);
RefreshJob refreshJob = null;
if (jobs != null) {
for (int index = 0; index < jobs.length; index++) {
// We are only concerned about ExternalSourceArchiveManager.RefreshJob
if (jobs[index] instanceof RefreshJob) {
refreshJob = (RefreshJob) jobs[index];
refreshJob.addSourceArchivesToRefresh(paths);
if (refreshJob.getState() == Job.NONE) {
refreshJob.schedule();
}
break;
}
}
}
if (refreshJob == null) {
refreshJob = new RefreshJob(new Vector<>(paths));
refreshJob.schedule();
}
}
