src/java.base/share/classes/java/net/URL.java
changeset 53120 de9fd809bb47
parent 53018 8bf9268df0e2
child 53125 dee9426ef417
--- a/src/java.base/share/classes/java/net/URL.java	Sat Dec 22 15:47:10 2018 +0100
+++ b/src/java.base/share/classes/java/net/URL.java	Wed Dec 26 17:09:19 2018 +0530
@@ -304,7 +304,7 @@
      *     or all providers have been exhausted.
      * <li>If the previous step fails to find a protocol handler, the
      *     constructor reads the value of the system property:
-     *     <blockquote>{@code
+     *     <blockquote>{@systemProperty
      *         java.protocol.handler.pkgs
      *     }</blockquote>
      *     If the value of that system property is not {@code null},