diff --git a/tlatools/src/tla2sany/explorer/ExploreNode.java b/tlatools/src/tla2sany/explorer/ExploreNode.java
index 9c9eefb7ec4880f25000da03b45735ca18c2cdf4..f3eb734631ebc0ed9ae9f6cf46a91a6b88cfdc74 100644
--- a/tlatools/src/tla2sany/explorer/ExploreNode.java
+++ b/tlatools/src/tla2sany/explorer/ExploreNode.java
@@ -28,11 +28,7 @@ public interface ExploreNode {
     * semNodesTable for itself and every descendant in the semantic tree   *
     * by executing                                                         *
     *                                                                      *
-<<<<<<< Updated upstream
     *     Integer uid = Integer.valueOf(myUID);                                *
-=======
-    *     Integer uid = myUID;                                *
->>>>>>> Stashed changes
     *     if (semNodesTable.get(uid) != null) return;                      *
     *     semNodesTable.put(uid, this);                                    *
     *                                                                      *
diff --git a/tlatools/src/tlc2/tool/fp/DiskFPSet.java b/tlatools/src/tlc2/tool/fp/DiskFPSet.java
index 04bb80313a3555934db9ef2a9f799bca353d5367..38c48caaf74ebd38dac8fb5fc599c7a63bbee847 100644
--- a/tlatools/src/tlc2/tool/fp/DiskFPSet.java
+++ b/tlatools/src/tlc2/tool/fp/DiskFPSet.java
@@ -55,7 +55,7 @@ import util.FileUtil;
 // TODO-MAK Flush asynchronously and with multiple threads (Exploit SSD support
 // for multiple concurrent readers)
 @SuppressWarnings("serial")
-public abstract class DiskFPSet extends FPSet implements FPSetStatistic {
+public abstract class DiskFPSet extends FPSet implements FPSetStatistic, AutoCloseable {
 
 	protected final static Logger LOGGER = Logger.getLogger(DiskFPSet.class.getName());
 
@@ -278,25 +278,6 @@ public abstract class DiskFPSet extends FPSet implements FPSetStatistic {
 
 	public abstract long sizeof();
 
-	/* (non-Javadoc)
-	 * @see java.lang.Object#finalize()
-	 */
-	/*public final void finalize() {
-		/* Close any backing disk files in use by this object. */
-	/*	for (int i = 0; i < this.braf.length; i++) {
-			try {
-				this.braf[i].close();
-			} catch (IOException e) { /* SKIP */
-	/*		}
-		}
-		for (int i = 0; i < this.brafPool.length; i++) {
-			try {
-				this.brafPool[i].close();
-			} catch (IOException e) { /* SKIP */
-	/*		}
-		}
-	}*/
-
 	/* (non-Javadoc)
 	 * @see tlc2.tool.fp.FPSet#addThread()
 	 */