(final String path)
| 399 | } |
| 400 | |
| 401 | private static BufferedReader getReader(final String path) |
| 402 | { |
| 403 | try |
| 404 | { |
| 405 | //return new BufferedReader(new FileReader(path)); |
| 406 | return new BufferedReader(new InputStreamReader(new FileInputStream(path), StandardCharsets.UTF_8)); |
| 407 | } catch (IOException e) |
| 408 | { |
| 409 | Logging.debugPrint("Could not get a reader to read from " + path, e); |
| 410 | return null; |
| 411 | } |
| 412 | } |
| 413 | |
| 414 | private static BufferedWriter getWriter(final String path) |
| 415 | { |
no test coverage detected