static void renameFile_forceOverwrite(File a, File b) {
  b.delete();
  renameFile_assertTrue(a, b);
}