[94015] out of sync files caused errors in createPlatformResourceInputStream()
diff --git a/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/WorkbenchURIConverterImpl.java b/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/WorkbenchURIConverterImpl.java
index 0064422..ec323b5 100644
--- a/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/WorkbenchURIConverterImpl.java
+++ b/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/WorkbenchURIConverterImpl.java
@@ -10,7 +10,7 @@
*******************************************************************************/
/*
* $$RCSfile: WorkbenchURIConverterImpl.java,v $$
- * $$Revision: 1.3 $$ $$Date: 2005/02/15 23:04:14 $$
+ * $$Revision: 1.4 $$ $$Date: 2005/05/11 16:11:09 $$
*/
package org.eclipse.jem.util.emf.workbench;
@@ -504,10 +504,11 @@
throw ce;
}
}
- return file.getContents();
+ // CHANGED from <no-args> to <true> [94015]
+ return file.getContents(true);
} catch (CoreException exception) {
throw new Resource.IOWrappedException(exception);
- }
+ }
}
}
\ No newline at end of file
