--- a/src/java.base/share/classes/java/security/PublicKey.java	Fri Aug 17 13:20:53 2018 -0700
+++ b/src/java.base/share/classes/java/security/PublicKey.java	Fri Aug 17 13:37:01 2018 -0700
@@ -49,7 +49,11 @@
     /**
      * The class fingerprint that is set to indicate serialization
      * compatibility with a previous version of the class.
+     *
+     * @deprecated A {@code serialVersionUID} field in an interface is
+     * ineffectual. Do not use; no replacement.
      */
-    @SuppressWarnings("serial") // serialVersionUID in an interface is ineffectual
+    @Deprecated
+    @SuppressWarnings("serial")
     static final long serialVersionUID = 7187392471159151072L;
 }