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
/**
	 * Visitors used to filter the element delta changes
	 */
	private static class ProjectErrorVisitor implements IResourceDeltaVisitor {
		private HashSet fChangedElements; 
		
		public ProjectErrorVisitor(HashSet changedElements) {
			fChangedElements= changedElements;
		}
			
		public boolean visit(IResourceDelta delta) throws CoreException {
			IResource res= delta.getResource();
			if (res instanceof IProject && delta.getKind() == IResourceDelta.CHANGED) {
				try {
					IProject project= (IProject) res;
					if (!(project.hasNature(JavaCore.NATURE_ID) && project.isOpen())) {
						
						return false;