--- a/src/hotspot/share/runtime/flags/jvmFlag.hpp	Tue May 29 13:44:44 2018 +0200
+++ b/src/hotspot/share/runtime/flags/jvmFlag.hpp	Tue May 29 11:04:56 2018 -0500
@@ -276,6 +276,7 @@
 
   // printRanges will print out flags type, name and range values as expected by -XX:+PrintFlagsRanges
   static void printFlags(outputStream* out, bool withComments, bool printRanges = false, bool skipDefaults = false);
+  void printError(bool verbose, const char* msg, ...);
 
   static void verify() PRODUCT_RETURN;
 };