From d7448a936229fd5851c71df52df6eb2074feaa11 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Wed, 29 May 2013 12:15:16 +0200
Subject: [PATCH] continue WEB-4454 JavaScript debug: local and remote run
 configurations are confusing

---
 platform/util/src/com/intellij/util/io/URLUtil.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/util/src/com/intellij/util/io/URLUtil.java b/platform/util/src/com/intellij/util/io/URLUtil.java
index dc291bf543d9..a55c15279195 100644
--- a/platform/util/src/com/intellij/util/io/URLUtil.java
+++ b/platform/util/src/com/intellij/util/io/URLUtil.java
@@ -94,6 +94,7 @@ public class URLUtil {
     final ZipEntry zipEntry = zipFile.getEntry(resource);
     if (zipEntry == null) throw new FileNotFoundException("Entry " + resource + " not found in " + file);
     return new FilterInputStream(zipFile.getInputStream(zipEntry)) {
+        @Override
         public void close() throws IOException {
           super.close();
           zipFile.close();