--- old/src/share/classes/java/io/File.java	2013-06-24 17:00:29.251201246 -0700
+++ new/src/share/classes/java/io/File.java	2013-06-24 17:00:29.079201251 -0700
@@ -2000,7 +2000,7 @@
         try {
             do {
                 f = TempDirectory.generateFile(prefix, suffix, tmpdir);
-            } while (f.exists());
+            } while ((fs.getBooleanAttributes(f) & FileSystem.BA_EXISTS) != 0);
             if (!f.createNewFile())
                 throw new IOException("Unable to create temporary file");
         } catch (SecurityException se) {