[m-rev.] for review: replace the use of the old Java time API

[Peter Wang]

On Fri, 19 Apr 2019 14:58:57 +0000 (UTC), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> ----------------
> 
> Replace the use of the old Java time API with the new one.
> 
> library/time.m:
> library/io.m:
>      As above.
> 
> Julien.

That seems fine.

Peter