Index: trunk/src/org/openstreetmap/josm/data/cache/JCSCacheManager.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/cache/JCSCacheManager.java	(revision 10405)
+++ trunk/src/org/openstreetmap/josm/data/cache/JCSCacheManager.java	(revision 10406)
@@ -30,4 +30,5 @@
 import org.openstreetmap.josm.data.preferences.BooleanProperty;
 import org.openstreetmap.josm.data.preferences.IntegerProperty;
+import org.openstreetmap.josm.tools.Utils;
 
 /**
@@ -227,6 +228,6 @@
 
     private static void deleteCacheFiles(String basePathPart) {
-        new File(basePathPart + ".key").delete();
-        new File(basePathPart + ".data").delete();
+        Utils.deleteFile(new File(basePathPart + ".key"));
+        Utils.deleteFile(new File(basePathPart + ".data"));
     }