diff --git a/dbmigration/source/java/ch/systemsx/cisd/dbmigration/ISqlScriptProvider.java b/dbmigration/source/java/ch/systemsx/cisd/dbmigration/ISqlScriptProvider.java
index 7aa0334a89744c66c8a3e80ed0acbf19959a5f3f..c4eaac17c381d130b00fcf1f60168e25731e3984 100644
--- a/dbmigration/source/java/ch/systemsx/cisd/dbmigration/ISqlScriptProvider.java
+++ b/dbmigration/source/java/ch/systemsx/cisd/dbmigration/ISqlScriptProvider.java
@@ -17,7 +17,6 @@
 package ch.systemsx.cisd.dbmigration;
 
 import java.io.File;
-import java.io.IOException;
 
 import ch.systemsx.cisd.common.Script;
 
@@ -36,7 +35,7 @@ public interface ISqlScriptProvider
     public boolean isDumpRestore(String version);
 
     /** marks that this script provider is suitable for a dump restore */
-    public void markAsDumpRestorable(String version) throws IOException;
+    public void markAsDumpRestorable(String version);
 
     /**
      * Returns the folder where all dump files for <var>version</var> reside.
diff --git a/dbmigration/source/java/ch/systemsx/cisd/dbmigration/SqlScriptProvider.java b/dbmigration/source/java/ch/systemsx/cisd/dbmigration/SqlScriptProvider.java
index 63ebd516b59cfbe032ab0cd94710b2786a880bf0..fd6a6300e4939c0fb4d77685f43f4c94eef1c642 100644
--- a/dbmigration/source/java/ch/systemsx/cisd/dbmigration/SqlScriptProvider.java
+++ b/dbmigration/source/java/ch/systemsx/cisd/dbmigration/SqlScriptProvider.java
@@ -23,6 +23,7 @@ import org.apache.commons.io.FileUtils;
 import org.apache.log4j.Logger;
 
 import ch.systemsx.cisd.common.Script;
+import ch.systemsx.cisd.common.exceptions.CheckedExceptionTunnel;
 import ch.systemsx.cisd.common.filesystem.FileUtilities;
 import ch.systemsx.cisd.common.logging.LogCategory;
 import ch.systemsx.cisd.common.logging.LogFactory;
@@ -70,9 +71,15 @@ public class SqlScriptProvider implements ISqlScriptProvider
         return getDumprestoreFile(version).exists();
     }
 
-    public void markAsDumpRestorable(String version) throws IOException
+    public void markAsDumpRestorable(String version)
     {
-        FileUtils.touch(getDumprestoreFile(version));
+        try
+        {
+            FileUtils.touch(getDumprestoreFile(version));
+        } catch (IOException ex)
+        {
+            throw CheckedExceptionTunnel.wrapIfNecessary(ex);
+        }
     }
 
     private File getDumprestoreFile(String version)