This one was my oversight, but we'll play it safe anyway.

src/java/com/threerings/getdown/launcher/Getdown.java

@@ -1,5 +1,5 @@
 //
-// $Id: Getdown.java,v 1.19 2004/07/26 23:27:46 mdb Exp $
+// $Id: Getdown.java,v 1.20 2004/07/28 07:45:44 mdb Exp $
 
 package com.threerings.getdown.launcher;
 
@@ -161,6 +161,7 @@ public class Getdown extends Thread
             // lastly clean up the patch file
             if (!patch.getLocal().delete()) {
                 Log.warning("Failed to delete '" + patch + "'.");
+                patch.getLocal().deleteOnExit();
             }
         }
         // if the patch resource is null, that means something was booched

src/java/com/threerings/getdown/tools/Patcher.java

@@ -1,5 +1,5 @@
 //
-// $Id: Patcher.java,v 1.3 2004/07/28 07:38:25 mdb Exp $
+// $Id: Patcher.java,v 1.4 2004/07/28 07:45:44 mdb Exp $
 
 package com.threerings.getdown.tools;
 
@@ -78,6 +78,7 @@ public class Patcher
             // note that we've completed this entry
             _complete += elength;
         }
+        file.close();
     }
 
     protected String strip (String path, String suffix)