--- old/src/hotspot/share/utilities/accessFlags.hpp	2018-02-27 10:50:43.574663000 +0100
+++ new/src/hotspot/share/utilities/accessFlags.hpp	2018-02-27 10:50:43.211632000 +0100
@@ -267,8 +267,12 @@
 
   inline friend AccessFlags accessFlags_from(jint flags);
 
-  // Printing/debugging/exception messages
+  // Printing/debugging
+#if INCLUDE_JVMTI
   void print_on(outputStream* st) const;
+#else
+  void print_on(outputStream* st) const PRODUCT_RETURN;
+#endif
 };
 
 inline AccessFlags accessFlags_from(jint flags) {