[m-rev.] diff: update README.Java

[Peter Wang]

Branches: main

README.Java:
        Document that there are problems at higher optimisation levels
        and that trailing and tabling are not supported.

diff --git a/README.Java b/README.Java
index 2192f0b..c2e06a4 100644
--- a/README.Java
+++ b/README.Java
@@ -54,6 +54,10 @@ Now you can run hello
 
 	./hello
 
+Problems at higher optimisation levels are still being resolved.
+For now we recommend sticking with -O2 or below and not enabling
+intermodule optimisation.
+
 -----------------------------------------------------------------------------
 
 USING JAVA
@@ -123,6 +127,8 @@ A. The following implementation features are not supported:
 
 	Mercury-level debugging
 	Mercury-level profiling
+	trailing
+	tabling
 
    In addition, the following individual procedures are incompletely
    implemented:

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------