Bug 12087 problem while closing the project
i am using eclipse 20020314 build. i have 5 projects on my workspace with all but one closed. when i am closing this one with some files open in editor, it is giving error messages in message box saying project 1 not open, project 2 not open .... log says Log: Thu Mar 21 11:54:00 IST 2002 4 org.eclipse.core.resources 372 Resource /cxindeploy is not open. Log: Thu Mar 21 11:54:01 IST 2002 4 org.eclipse.core.resources 372 Resource /cxindeploy is not open. Log: Thu Mar 21 11:54:01 IST 2002 4 org.eclipse.core.resources 372 Resource /jdt is not open. Log: Thu Mar 21 11:54:01 IST 2002 4 org.eclipse.core.resources 372 Resource /jdtcore is not open. Log: Thu Mar 21 11:54:01 IST 2002 4 org.eclipse.core.resources 372 Resource /mycxpita is not open. Log: Thu Mar 21 11:54:01 IST 2002 4 org.eclipse.core.resources 372 Resource /test is not open. Log: Thu Mar 21 11:54:01 IST 2002 ne help ?? thanx in advance Nachiketa Sahoo
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/viewsupport/ProblemMarkerManager.java
}
				} catch (CoreException e) {
					JavaPlugin.log(e.getStatus());
					return false;
				}
			}
			checkInvalidate(delta, res.getFullPath());
			return true;
		}
		
		private void checkInvalidate(IResourceDelta delta, IPath path) {
			int kind= delta.getKind();
			if (kind == IResourceDelta.REMOVED || kind == IResourceDelta.ADDED || (kind == IResourceDelta.CHANGED && isErrorDelta(delta))) {
				
				while (!path.isEmpty() && !path.isRoot() && !fChangedElements.contains(path)) {
					fChangedElements.add(path);
					path= path.removeLastSegments(1);
				}
			} 
		}	
		
		private boolean isErrorDelta(IResourceDelta delta) {	
			if ((delta.getFlags() & IResourceDelta.MARKERS) != 0) {
				IMarkerDelta[] markerDeltas= delta.getMarkerDeltas();
				for (int i= 0; i < markerDeltas.length; i++) {
					if (markerDeltas[i].isSubtypeOf(IMarker.PROBLEM)) {
						int kind= markerDeltas[i].getKind();
						if (kind == IResourceDelta.ADDED || kind == IResourceDelta.REMOVED)
							return true;
						int severity= markerDeltas[i].getAttribute(IMarker.SEVERITY, -1);