Score one for the JarDiffPatcher and Windows. JarDiffPatcher doesn't

properly close its files, so Windows prevents us from deleting them. Yay!
Hopefully if we queue them up for deletion on exit, the finalizers will
all have been run and JarDiffPatcher's mess will be cleaned up and they'll
get deleted.

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

@@ -1,5 +1,5 @@
 //
-// $Id: Patcher.java,v 1.2 2004/07/14 13:44:49 mdb Exp $
+// $Id: Patcher.java,v 1.3 2004/07/28 07:38:25 mdb Exp $
 
 package com.threerings.getdown.tools;
 
@@ -166,8 +166,12 @@ public class Patcher
             StreamUtil.close(fout);
             StreamUtil.close(in);
             // clean up our temporary files
-            patch.delete();
-            otarget.delete();
+            if (!patch.delete()) {
+                patch.deleteOnExit();
+            }
+            if (!otarget.delete()) {
+                otarget.deleteOnExit();
+            }
         }
     }