### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: model/org/eclipse/jdt/internal/core/JavaElement.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaElement.java,v
retrieving revision 1.121
diff -u -r1.121 JavaElement.java
--- model/org/eclipse/jdt/internal/core/JavaElement.java	4 Apr 2006 13:10:36 -0000	1.121
+++ model/org/eclipse/jdt/internal/core/JavaElement.java	9 May 2006 17:36:41 -0000
@@ -792,6 +792,11 @@
 					connection2.getJarFile().close();
 				} catch(IOException e) {
 					// ignore
+				} catch(IllegalStateException e) {
+					/*
+					 * ignore. Can happen in case the stream.close() did close the jar file
+					 * see https://bugs.eclipse.org/bugs/show_bug.cgi?id=140750
+					 */
 				}
  			}
 		}