docs: public static void copy(File in, File out) throws IOException {
  		assert in != null;
  		assert out != null;
  
  		File outFile = out;
  		if (out.isDirectory()) {
  			outFile = new File(out, largeBasename(in));
  		}
  
  		try (FileInputStream fis = new FileInputStream(in)) {
  			try (FileOutputStream fos = new FileOutputStream(outFile)) {
  				copy(fis, (int) in.length(), fos);
  			}
  		}
  	}