288505: fix

diff --git a/org.aspectj.matcher/src/org/aspectj/weaver/Lint.java b/org.aspectj.matcher/src/org/aspectj/weaver/Lint.java
index 4c4f5f7ddc82c263dfc78c552f277c985a73ffe5..bc2b44ba40fdf64cbc145f55ee972f7f517e2a62 100644 (file)
--- a/org.aspectj.matcher/src/org/aspectj/weaver/Lint.java
+++ b/org.aspectj.matcher/src/org/aspectj/weaver/Lint.java
@@ -186,6 +186,12 @@ public class Lint {
                } catch (IOException ioe) {
                        MessageUtil.error(world.getMessageHandler(), WeaverMessages.format(WeaverMessages.XLINTDEFAULT_LOAD_PROBLEM, ioe
                                        .getMessage()));
+               } finally {
+                       try {
+                               s.close();
+                       } catch (IOException ioe) {
+                               // ...
+                       }
                }
 
        }