src/java.rmi/share/classes/java/rmi/server/RemoteRef.java
changeset 51437 6221a199ec20
parent 51317 e122220d7d7e
--- a/src/java.rmi/share/classes/java/rmi/server/RemoteRef.java	Fri Aug 17 13:20:53 2018 -0700
+++ b/src/java.rmi/share/classes/java/rmi/server/RemoteRef.java	Fri Aug 17 13:37:01 2018 -0700
@@ -38,8 +38,13 @@
  */
 public interface RemoteRef extends java.io.Externalizable {
 
-    /** indicate compatibility with JDK 1.1.x version of class. */
-    @SuppressWarnings("serial") // serialVersionUID in an interface is ineffectual
+    /** indicate compatibility with JDK 1.1.x version of class.
+     *
+     * @deprecated A {@code serialVersionUID} field in an interface is
+     * ineffectual. Do not use; no replacement.
+     */
+    @Deprecated
+    @SuppressWarnings("serial")
     static final long serialVersionUID = 3632638527362204081L;
 
     /**