Patch Set 7: I would prefer that you didn't submit this

Exeception occurs on closing projects. Check for project.isAccessible() in resource change listener

org.eclipse.core.internal.resources.ResourceException: Resource '/aaa' is not open.
	at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:137)
	at org.eclipse.core.internal.resources.Container.members(Container.java:265)
	at org.eclipse.core.internal.resources.Container.members(Container.java:248)
	at org.eclipse.egit.core.project.RepositoryFinder.find(RepositoryFinder.java:137)
	at org.eclipse.egit.core.project.RepositoryFinder.find(RepositoryFinder.java:97)
	at org.eclipse.egit.core.Activator$AutoShareProjects$1.visit(Activator.java:233)
	at org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:68)
	at org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:79)
	at org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:48)
	at org.eclipse.egit.core.Activator$AutoShareProjects.resourceChanged(Activator.java:206)
	at org.eclipse.core.internal.events.NotificationManager$2.run(NotificationManager.java:291)
	at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42)
	at org.eclipse.core.internal.events.NotificationManager.notify(NotificationManager.java:285)
	at org.eclipse.core.internal.events.NotificationManager.broadcastChanges(NotificationManager.java:149)
	at org.eclipse.core.internal.resources.Workspace.broadcastPostChange(Workspace.java:327)
	at org.eclipse.core.internal.resources.Workspace.endOperation(Workspace.java:1181)
	at org.eclipse.core.internal.resources.InternalWorkspaceJob.run(InternalWorkspaceJob.java:45)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)
!SUBENTRY 1 org.eclipse.core.resources 4 372