Propagate exception on storage document content stream closure

Author: jld01

bundles/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/StorageDocumentProvider.java

@@ -134,20 +134,13 @@ protected void setDocumentContent(IDocument document, InputStream contentStream,
 		if (encoding == null) {
 			encoding= getDefaultEncoding();
 		}
-		try {
+		try (contentStream) { // close content stream after read (PDE relies on it)
 			String content= new String(contentStream.readAllBytes(), encoding);
 			document.set(content);
 		} catch (IOException x) {
 			String message= (x.getMessage() != null ? x.getMessage() : ""); //$NON-NLS-1$
 			IStatus s= new Status(IStatus.ERROR, PlatformUI.PLUGIN_ID, IStatus.OK, message, x);
 			throw new CoreException(s);
-		} finally {
-			try {
-				// undocumented implementation detail kept for historic reasons (for example PDE relies on it):
-				contentStream.close();
-			} catch (IOException x) {
-				// ignore
-			}
 		}
 	}