[m-rev.] for review: bump the minimum version of Java required

[Julien Fischer]

For review by anyone.

(README.Java could probably do with a more thorough rewrite, but I'll
leave that for another time.)

---------------------------

Bump the minimum version of Java required.

NEWS:
README.Java:
     Require at least Java SE 6 or equivalent.

Julien.

diff --git a/NEWS b/NEWS
index 1deb127..4b61dbd 100644
--- a/NEWS
+++ b/NEWS
@@ -88,6 +88,9 @@ Changes that may break compatibility:
  * We have deleted the builtin modes `no' and `oo': their uses should be
    replaced with `oa' and `ia' respectively.

+* The minimum version of the Java platform required by Mercury's Java
+  backend is now Java SE 6.
+
  Changes to the Mercury language:

  * We have added a new kind of scope to the language: determinism checks
diff --git a/README.Java b/README.Java
index b222ec7..c129c12 100644
--- a/README.Java
+++ b/README.Java
@@ -2,24 +2,22 @@

  INTRODUCTION

-This release of Mercury contains a port to Java,
-in particular to Sun Microsystems' Java 2 Platform, Standard Edition (J2SE).
-The Mercury compiler will generate Java source code that can be compiled into
-Java bytecode suitable for running in the J2SE runtime system.
+The Mercury compiler can generate Java source code that can be compiled into
+Java bytecode suitable for running the Java SE runtime system.  The port is
+mostly complete, but some parts of the Mercury standard library are not yet
+implemented (for a full list see the FAQ below).

-The port is mostly complete, but some parts of the Mercury standard
-library are not yet implemented (for a full list see the FAQ below).
-
-The port is currently targeted at J2SE version 1.5 or higher.
+The port requires Java SE 6 or higher -- older versions of Java are *not*
+supported.

  PREREQUISITES

  In order to try this system you will need

-	- The J2SE SDK, which can be downloaded for free from
-		<http://java.sun.com/downloads/index.html>
+    * The J2SE SDK, which can be downloaded for free from
+      <http://www.oracle.com/technetwork/indexes/downloads/index.html>

-	  OR any other compatible Java implementation.
+    * OR any other compatible Java implementation, such as OpenJDK.

  -----------------------------------------------------------------------------