[m-rev.] for review use the Java library file copying methods

[Julien Fischer]

On Mon, 8 Jan 2024, Zoltan Somogyi wrote:

> On 2024-01-08 16:50 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
>> Use the Java library file copying methods.
>
> ... in Java grades.

Done.

>
>> Use the file copy methods from the Java library when the compiler is built
>> in the Java grades.
>>
>> compiler/copy_util.m:
>>     Add a copy method that use the Files.copy() from the Java library.
>
> s/use the/uses/

Fixed.

Thanks for that.

Julien.