respecting Xlint:unmatchedSuperTypeInCall, if only to preserve that compiling the...

diff --git a/docs/dist/doc/examples/spacewar/Debug.java b/docs/dist/doc/examples/spacewar/Debug.java
index a5d99166139fb7c336d2f36351d77e7456c9142a..a3afb1ddac2a06e9f5bc0a7dcd97ad5b20b17c42 100644 (file)
--- a/docs/dist/doc/examples/spacewar/Debug.java
+++ b/docs/dist/doc/examples/spacewar/Debug.java
@@ -166,7 +166,7 @@ aspect Debug {
     }
 
     after(Ship ship, SpaceObject obj) returning :
-       call(void Ship.handleCollision(SpaceObject)) && target(ship) && args(obj) {
+       call(void handleCollision(SpaceObject)) && target(ship) && args(obj) {
         if (traceFireCollideDamage.getState())
             infoWin.println(ship + " collides with " + obj);
     }