Solve minor comments

Signed-off-by: Andru Stefanescu <als209@cam.ac.uk>
TNG · Aug 16, 2021 · 7f2bb16 · 7f2bb16
1 parent bbaf5c6
commit 7f2bb16
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/docs/report_generation.adoc b/docs/report_generation.adoc
@@ -206,12 +206,12 @@ The encoding for the file is assumed to be `UTF-8`, but can be customized with t
 ----
 jgiven.config.charset
 ----
-The following can be defined the properties file:
+The following can be defined in the properties file:
 ----
-jgiven.report.enabled
-jgiven.report.dir
-jgiven.report.text
+jgiven.report.enabled=false
+jgiven.report.dir=<targetDir>
+jgiven.report.text=false
 jgiven.report.text.color
-jgiven.report.filterStackTrace
+jgiven.report.filterStackTrace=true
 ----
 Configuration defined via Java system properties will take precedence over values in the configuration file.
diff --git a/jgiven-core/src/main/java/com/tngtech/jgiven/impl/Config.java b/jgiven-core/src/main/java/com/tngtech/jgiven/impl/Config.java
@@ -61,10 +61,8 @@ private static Properties loadConfigFileProperties() {
         String path = System.getProperty(JGIVEN_CONFIG_PATH, "jgiven.properties");
         String charset = System.getProperty(JGIVEN_CONFIG_CHARSET, "UTF-8");
         Properties properties = new Properties();
-        try {
-            try (Reader reader = Files.newBufferedReader(Paths.get(path), Charset.forName(charset))) {
-                properties.load(reader);
-            }
+        try (Reader reader = Files.newBufferedReader(Paths.get(path), Charset.forName(charset))) {
+            properties.load(reader);
         } catch (IOException e) {
             log.debug("config file " + path + " not loaded: " + e.getMessage());
         }