--- old/src/java.rmi/share/classes/java/rmi/server/ServerRef.java	2018-08-06 12:04:54.494000999 -0700
+++ new/src/java.rmi/share/classes/java/rmi/server/ServerRef.java	2018-08-06 12:04:54.338000999 -0700
@@ -39,6 +39,7 @@
 public interface ServerRef extends RemoteRef {
 
     /** indicate compatibility with JDK 1.1.x version of class. */
+    @SuppressWarnings("serial") // serialVersionUID in an interface is ineffectual
     static final long serialVersionUID = -4557750989390278438L;
 
     /**