From f5aaa67598da09f0ed6a30d0e16a2b7a547932b6 Mon Sep 17 00:00:00 2001
From: Julian Dolby <juliandolby@gmail.com>
Date: Sun, 30 Jul 2017 18:08:06 -0400
Subject: [PATCH] merge

---
 com.ibm.wala.cast/pom.xml                           |  7 -------
 .../src/com/ibm/wala/util/io/TemporaryFile.java     | 13 ++++---------
 2 files changed, 4 insertions(+), 16 deletions(-)

diff --git a/com.ibm.wala.cast/pom.xml b/com.ibm.wala.cast/pom.xml
index edae15159..3151844dc 100644
--- a/com.ibm.wala.cast/pom.xml
+++ b/com.ibm.wala.cast/pom.xml
@@ -55,11 +55,4 @@
                     </plugin>
                 </plugins>
 	</build>
-	<dependencies>
-	  <dependency>
-	    <groupId>org.codehaus.mojo</groupId>
-	    <artifactId>exec-maven-plugin</artifactId>
-	    <version>1.6.0</version>
-	  </dependency>
-	</dependencies>
 </project>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java b/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
index cecad9cd5..dc18178c7 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
@@ -20,20 +20,15 @@ import java.nio.file.Path;
 
 public class TemporaryFile {
 
-  private final static Path outputDir;
-
-  static {
-    try {
-      outputDir = Files.createTempDirectory("wala");
-    } catch (IOException e) {
-      throw new RuntimeException(e);
-    }
-  }
+  private static Path outputDir;
 
   public static File urlToFile(String fileName, URL input) throws IOException {
     if (input == null) {
       throw new NullPointerException("input == null");
     }
+    if (outputDir == null) {
+      outputDir = Files.createTempDirectory("wala");      
+    }
     Path filePath = outputDir.resolve(fileName);
     return urlToFile(filePath.toFile(), input);
   }