From 0cfbea3c5b6960599369855e3c026644d5028aea Mon Sep 17 00:00:00 2001
From: stfm <stfm@doclet>
Date: Tue, 21 Nov 2017 23:21:57 +0100
Subject: [PATCH] use try-with-resources statement

---
 .../org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java  | 17 +++++++++--------
 src/main/java/org/stfm/texdoclet/TeXDoclet.java |  7 ++++---
 2 files changed, 13 insertions(+), 11 deletions(-)

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();
 				}