if (changedResources[i].equals(resource.getIResource())) {
if (resource != null && changedResources[i].equals(resource.getIResource())) {
		public void resourceSyncInfoChanged(IResource[] changedResources) {			for (int i = 0; i < changedResources.length;i++) {				if (changedResources[i].equals(resource.getIResource())) {					refresh();				}			}		}