The comment inside the catch was a bit misleading. According to the javadoc, if a resource is a closed project, or does not exist, then the members() call will throw a CoreException. I've changed this method to not add members of a given resource if their "parent" throws this exception.