Add util to move directories

Change-Id: Ia4f5a84f829b3f02ef2a4233bf7d4222a6bacedc
Signed-off-by: Markus Duft <markus.duft@ssi-schaefer.com>
diff --git a/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/util/FileUtils.java b/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/util/FileUtils.java
index c8e31bd..aed91f6 100644
--- a/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/util/FileUtils.java
+++ b/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/util/FileUtils.java
@@ -364,6 +364,18 @@
 		}
 	}
 
+	/**
+	 * Same as {@link #moveFile(File, File)} but for directories.
+	 */
+	public static void moveDirectory(File source, File target) throws IOException {
+		deleteDirectory(target);
+
+		if (!source.renameTo(target)) {
+			copyDirectory(source, target);
+			deleteDirectory(source);
+		}
+	}
+
 	public static void touchFile(File f) throws IOException {
 		if (f.exists()) {
 			if (!f.setLastModified(System.currentTimeMillis())) {