[m-rev.] [PATCH] Improve Mercury's temporary files and directories predicates.

[Julien Fischer]

Hi Paul,

This change breaks backwards compatibility in the Java grade.

On Wed, 13 Apr 2016, Paul Bone wrote:

> + Add support for retriving the system/user's temporary directory.
> + Add support for creating temporary directories.
>
> library/io.m:
>    Add temp_directory/3
>
>    Add make_temp_directory/3 and make_temp_directory/5.
>
>    make_temp_file/3 and make_temp_file/5 now return the full pathname on
>    the Java backends.
>
> +import java.io.File;
> +import java.nio.file.Files;
> +import java.nio.file.Path;
> +import java.nio.file.Paths;
> +import java.nio.file.attribute.PosixFilePermissions;
> ").

The java.nio.file package is only available since Java 1.7.  The
documentation in README.Java currently says Java 1.5 or later are
supported.  Furthermore, we (i.e. Opturion) still need to support Java
1.6.

Julien.