*** old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugVerifyHandler.java	Fri Jul  7 09:29:54 2017
--- new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugVerifyHandler.java	Fri Jul  7 09:29:54 2017

*** 23,38 ****
--- 23,40 ----
  package org.graalvm.compiler.debug;
  
  /**
   * Performs some kind of verification on an object.
   */
! public interface DebugVerifyHandler extends DebugHandler {
  
      /**
       * Verifies that a given object satisfies some invariants.
       *
       * @param object object to verify
!      * @param format description of verification context
!      * @param args arguments for the format
!      * @param debug the debug context requesting the dump
!      * @param format a format string specifying a title that describes the context of the
+      *            verification (e.g., the compiler phase in which request is made)
+      * @param arguments arguments referenced by the format specifiers in {@code format}
       */
!     void verify(Object object, String format, Object... args);
!     void verify(DebugContext debug, Object object, String format, Object... arguments);
  }