--- a/test/langtools/tools/javac/doctree/DocCommentTester.java	Sun Nov 11 21:24:46 2018 +0100
+++ b/test/langtools/tools/javac/doctree/DocCommentTester.java	Mon Nov 12 13:31:41 2018 +0530
@@ -613,6 +613,17 @@
                 return null;
             }
 
+            @Override
+            public Void visitSystemProperty(SystemPropertyTree node, Void p) {
+                header(node);
+                indent(+1);
+                print("property name", node.getPropertyName().toString());
+                indent(-1);
+                indent();
+                out.println("]");
+                return null;
+            }
+
             public Void visitText(TextTree node, Void p) {
                 header(node, compress(node.getBody()));
                 return null;