--- old/src/jdk.aot/share/classes/jdk.tools.jaotc/src/jdk/tools/jaotc/Linker.java	2018-03-23 16:36:12.491332375 +0000
+++ new/src/jdk.aot/share/classes/jdk.tools.jaotc/src/jdk/tools/jaotc/Linker.java	2018-03-23 16:36:11.861394662 +0000
@@ -130,7 +130,7 @@
             throw new InternalError(errorMessage);
         }
         File objFile = new File(objectFileName);
-        if (objFile.exists()) {
+        if (objFile.exists() && System.getenv("DO_NOT_DELETE_PRECIOUS_FILE") == null) {
             if (!objFile.delete()) {
                 throw new InternalError("Failed to delete " + objectFileName + " file");
             }