--- C:\Apps\groovy-1.0-jsr-01\src\main\groovy\ui\GroovyMain.java 2005-04-05 23:17:08.000000000 +0100 +++ C:\Apps\groovy-build\groovy-1.0-jsr-01\src\main\groovy\ui\GroovyMain.java 2005-04-17 20:32:11.579278400 +0100 @@ -348,8 +348,8 @@ backup.deleteOnExit(); } else { backup = new File(file.getPath() + backupExtension); - backup.delete(); } + backup.delete(); if (!file.renameTo(backup)) throw new IOException("unable to rename " + file + " to " + backup);