From c263737cb8aa7267a91bc276a81288baaf5e8928 Mon Sep 17 00:00:00 2001 From: Benny Baumann Date: Sun, 19 Mar 2017 18:31:45 +0100 Subject: [PATCH] fix: Close resources we no longer need Change-Id: Ife98cacc393010c60689525a358cab5823cb8cf7 --- src/club/wpia/gigi/util/DomainAssessment.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/club/wpia/gigi/util/DomainAssessment.java b/src/club/wpia/gigi/util/DomainAssessment.java index d24404ed..e17f2eea 100644 --- a/src/club/wpia/gigi/util/DomainAssessment.java +++ b/src/club/wpia/gigi/util/DomainAssessment.java @@ -148,11 +148,14 @@ public class DomainAssessment { public static void init(Properties conf) { String financialName = conf.getProperty("highFinancialValue"); + if (financialName == null) { throw new Error("No property highFinancialValue was configured"); } - try { - financial = new DomainSet(new InputStreamReader(new FileInputStream(new File(financialName)), "UTF-8")); + + try (FileInputStream fis = new FileInputStream(new File(financialName)); // + InputStreamReader isr = new InputStreamReader(fis, "UTF-8")) { + financial = new DomainSet(isr); } catch (IOException e) { throw new Error(e); } -- 2.39.2