static void moveDirectory(File a, File b) {
  moveFile(a, b);
}