diff -r 375b10185c40 -r de9fd809bb47 src/java.rmi/share/classes/java/rmi/server/RMIClassLoader.java
--- a/src/java.rmi/share/classes/java/rmi/server/RMIClassLoader.java	Sat Dec 22 15:47:10 2018 +0100
+++ b/src/java.rmi/share/classes/java/rmi/server/RMIClassLoader.java	Wed Dec 26 17:09:19 2018 +0530
@@ -68,7 +68,7 @@
  * <ul>
  *
  * <li>If the system property
- * <code>java.rmi.server.RMIClassLoaderSpi</code> is defined, then if
+ * {@systemProperty java.rmi.server.RMIClassLoaderSpi} is defined, then if
  * its value equals the string <code>"default"</code>, the provider
  * instance will be the value returned by an invocation of the {@link
  * #getDefaultProviderInstance()} method, and for any other value, if
@@ -429,7 +429,7 @@
      * system class loader such as the loader used for installed
      * extensions, or the bootstrap class loader (which may be
      * represented by <code>null</code>), then the value of the
-     * <code>java.rmi.server.codebase</code> property (or possibly an
+     * {@systemProperty java.rmi.server.codebase} property (or possibly an
      * earlier cached value) is returned, or
      * <code>null</code> is returned if that property is not set.
      *