# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1475677685 -7200
# Node ID 4ae76f509448c1debe7f683b68a7296a928bccd8
# Parent  16b5e00d91968fc502f47c3ef520d1bf93e2965a
removed redundancy in header of JVMCI system property listing

diff -r 16b5e00d9196 -r 4ae76f509448 jvmci/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotJVMCIRuntime.java
--- a/jvmci/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotJVMCIRuntime.java	Wed Oct 05 13:58:15 2016 +0200
+++ b/jvmci/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotJVMCIRuntime.java	Wed Oct 05 16:28:05 2016 +0200
@@ -179,7 +179,7 @@
          * @param out stream to print to
          */
         public static void printFlags(PrintStream out) {
-            out.println("[List of JVMCI system properties]");
+            out.println("[JVMCI system properties]");
             int typeWidth = 0;
             int nameWidth = 0;
             Option[] values = values();