diff --git a/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java b/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java index 92a5b18..eaf4842 100755 --- a/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java +++ b/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java @@ -702,16 +702,17 @@ public class HTMLtoLaTeXBackEnd extends HTMLEditorKit.ParserCallback { private String removeLeadingSpaces(String str) { StringBuffer sb = new StringBuffer(); - Scanner scanner = new Scanner(str); - while (scanner.hasNextLine()) { - String l = scanner.nextLine(); - if (l.startsWith(" ")) { - sb.append(l.substring(1) + System.getProperty("line.separator")); - } else { - sb.append(l + System.getProperty("line.separator")); + try (Scanner scanner = new Scanner(str)) { + while (scanner.hasNextLine()) { + String l = scanner.nextLine(); + if (l.startsWith(" ")) { + sb.append(l.substring(1) + System.getProperty("line.separator")); + } else { + sb.append(l + System.getProperty("line.separator")); + } } + return sb.toString(); } - return sb.toString(); } } diff --git a/src/main/java/org/stfm/texdoclet/TeXDoclet.java b/src/main/java/org/stfm/texdoclet/TeXDoclet.java index 67e5ce6..2fd2d8b 100755 --- a/src/main/java/org/stfm/texdoclet/TeXDoclet.java +++ b/src/main/java/org/stfm/texdoclet/TeXDoclet.java @@ -470,9 +470,10 @@ public class TeXDoclet extends Doclet { try { FileInputStream in = new FileInputStream(args[i][2] + ".map"); - ObjectInputStream p = new ObjectInputStream(in); - Hashtable exref = (Hashtable) p.readObject(); - externalrefs.put(args[i][1], exref); + try (ObjectInputStream p = new ObjectInputStream(in)) { + Hashtable exref = (Hashtable) p.readObject(); + externalrefs.put(args[i][1], exref); + } } catch (Exception e) { e.printStackTrace(); }