launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/FXBrwsrLauncher.java
changeset 1165 06e7a74c72cf
parent 1096 d2ac5b50eb3e
child 1166 16555ef29e9e
     1.1 --- a/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/FXBrwsrLauncher.java	Wed May 15 09:57:43 2013 +0200
     1.2 +++ b/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/FXBrwsrLauncher.java	Tue May 28 21:49:38 2013 +0200
     1.3 @@ -129,8 +129,12 @@
     1.4          while (en.hasMoreElements()) {
     1.5              URL url = en.nextElement();
     1.6              Manifest mf;
     1.7 -            try (InputStream is = url.openStream()) {
     1.8 +            InputStream is = null;
     1.9 +            try {
    1.10 +                is = url.openStream();
    1.11                  mf = new Manifest(is);
    1.12 +            } finally {
    1.13 +                if (is != null) is.close();
    1.14              }
    1.15              String sp = mf.getMainAttributes().getValue("StartPage");
    1.16              if (sp != null) {