code: public static void copy(URL in, File out) throws IOException {
  		assert in != null;
  		assert out != null;
  
  		File outFile = out;
  		if (out.isDirectory()) {
  			outFile = new File(out, largeBasename(in));
  		}
  
  		final URLConnection connection = in.openConnection();
  		try (FileOutputStream fos = new FileOutputStream(outFile)) {
  			copy(
  					connection.getInputStream(),
  					connection.getContentLength(),
  					fos);
  		}
  	}
docs: Copy the first file into the second file.
  
  <p>The content of the second file will be lost.
  This copy function allows to do a copy between two different
  partitions.
  
  @param in is the file to copy.
  @param out is the target file
  @throws IOException in case of error.
  @since 6.0
  @see #copy(File, File)