[m-rev.] diff: workaround compilation problems with Java 1.5

[Julien Fischer]

Branches: main, 10.04

Fix a problem that was breaking the java grade on goliath.

ssdb/ssdb.m:
 	Avoid using a Java annotation that causes problems with Java 1.5.
 	This inhibits the Java compilers ability to detect certain types
 	of error, but is otherwise harmless.

Julien.

Index: ssdb.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/ssdb/ssdb.m,v
retrieving revision 1.21
diff -u -r1.21 ssdb.m
--- ssdb.m	19 May 2010 06:53:41 -0000	1.21
+++ ssdb.m	24 May 2010 02:54:26 -0000
@@ -347,7 +347,9 @@
  :- pragma foreign_code("Java",
  "
  public static class SigIntHandler implements sun.misc.SignalHandler {
-    @Override
+//  XXX Using the @Override annotation here causes compilation errors
+//  with Java 1.5.
+//  @Override
      public void handle(sun.misc.Signal sig) {
          SSDB_step_next_stop();
      }
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------