--- 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.
*