--- a/jdk/src/share/classes/javax/management/NotQueryExp.java	Fri Jul 04 18:55:37 2008 +0200
+++ b/jdk/src/share/classes/javax/management/NotQueryExp.java	Wed Jul 09 10:36:07 2008 +0200
@@ -91,6 +91,7 @@
         return "not (" + exp + ")";
     }
 
+    @Override
     String toQueryString() {
         return "not (" + Query.toString(exp) + ")";
     }