example of no return with error

Author: CatarinaGamboa

liquidjava-example/src/main/java/testSuite/classes/ts_bufferedreader_error/Example.java

@@ -33,4 +33,16 @@ String loadFirstSetting(String configPath, String defaultValue) throws IOExcepti
         reader.close();
         return header;
     }
+
+    String loadFirstSetting2(String configPath, String defaultValue) throws IOException {
+        BufferedReader reader = new BufferedReader(new FileReader(configPath));
+
+        String header = reader.readLine();
+        if (header.isEmpty()) {
+            reader.close();
+            // no return here
+        }
+        reader.close(); // State Refinement Error
+        return header;
+    }
 }