diff --git a/util/io/IO.scala b/util/io/IO.scala
index d4afd1dc6..3a99b49e6 100644
--- a/util/io/IO.scala
+++ b/util/io/IO.scala
@@ -332,13 +332,12 @@ object IO
 	{
 		translate("Error deleting file " + file + ": ")
 		{
-			if(file.isDirectory)
+			val deleted = file.delete()
+			if(!deleted && file.isDirectory)
 			{
 				delete(listFiles(file))
 				file.delete
 			}
-			else if(file.exists)
-				file.delete
 		}
 	}