code: static void move(File src, File dest) throws IOException {
          try {
              Files.move(src.toPath(), dest.toPath());
          } catch (IOException x) {
              throw x;
          } catch (Exception x) {
              throw new IOException(x);
          }
      }
docs: Tries to move/rename a file from one path to another.
  Uses {@link java.nio.file.Files#move} when available.
  Does not use {@link java.nio.file.StandardCopyOption#REPLACE_EXISTING} or any other options.
  TODO candidate for moving to {@link Util}