From 5efd41bb09f8510cec9a023bcc24306234b22e70 Mon Sep 17 00:00:00 2001
From: Chris Recoskie <recoskie@ca.ibm.com>
Date: Fri, 29 Apr 2011 18:28:52 +0000
Subject: [PATCH] Bug 133881 - Make refreshing after building optional

Work in progress.
---
 .../src/org/eclipse/cdt/core/resources/RefreshScopeManager.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java
index 3e3c2b12624..199a7c5667b 100644
--- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java
+++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java
@@ -322,6 +322,8 @@ public class RefreshScopeManager {
 	}
 	
 	public void persistSettings() throws CoreException {
+		getProjectToResourcesMap();
+		getResourcesToExclusionsMap();
 		for(IProject project : fProjectToResourcesMap.keySet()) {
 			// serialize all settings for the project to an XML document which we will use to persist
 			// the data to a persistent resource property