docs: public static void readSourceFileAndWriteDestFile(final String srcfile, final String destFile)
  		throws IOException
  	{
  		try (FileInputStream fis = new FileInputStream(srcfile);
  			FileOutputStream fos = new FileOutputStream(destFile);
  			BufferedInputStream bis = new BufferedInputStream(fis);
  			BufferedOutputStream bos = new BufferedOutputStream(fos);)
  		{
  			final int availableLength = bis.available();
  			final byte[] totalBytes = new byte[availableLength];
  			bis.read(totalBytes, 0, availableLength);
  			bos.write(totalBytes, 0, availableLength);
  		}
  	}