use try-with-resources statement

src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java

@@ -702,7 +702,7 @@ public class HTMLtoLaTeXBackEnd extends HTMLEditorKit.ParserCallback {
 
 	private String removeLeadingSpaces(String str) {
 		StringBuffer sb = new StringBuffer();
-		Scanner scanner = new Scanner(str);
+		try (Scanner scanner = new Scanner(str)) {
 			while (scanner.hasNextLine()) {
 				String l = scanner.nextLine();
 				if (l.startsWith(" ")) {
@@ -713,5 +713,6 @@ public class HTMLtoLaTeXBackEnd extends HTMLEditorKit.ParserCallback {
 			}
 			return sb.toString();
 		}
+	}
 
 }

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);
+					try (ObjectInputStream p = new ObjectInputStream(in)) {
 						Hashtable<?, ?> exref = (Hashtable<?, ?>) p.readObject();
 						externalrefs.put(args[i][1], exref);
+					}
 				} catch (Exception e) {
 					e.printStackTrace();
 				}