src/jdk.jshell/share/classes/jdk/jshell/spi/package-info.java

*** 29,39 ****
   * (represented in a wrapper class) to the execution engine for loading,
   * and in the case of executable Snippets, execution.  The JShell
   * implementation includes a default execution engine (currently a remote
   * process which is JDI controlled).  By implementing the
   * {@link jdk.jshell.spi.ExecutionControl} interface and installing it with
!  * {@link jdk.jshell.JShell.Builder#executionEngine(jdk.jshell.spi.ExecutionControl) }
   * other execution engines can be used.
   *
!  * @see jdk.jshell.execution jdk.jshell.execution for execution implementation support
   */
  package jdk.jshell.spi;
--- 29,39 ----
   * (represented in a wrapper class) to the execution engine for loading,
   * and in the case of executable Snippets, execution.  The JShell
   * implementation includes a default execution engine (currently a remote
   * process which is JDI controlled).  By implementing the
   * {@link jdk.jshell.spi.ExecutionControl} interface and installing it with
!  * {@link jdk.jshell.JShell.Builder#executionEngine(jdk.jshell.spi.ExecutionControl.Generator) }
   * other execution engines can be used.
   *
!  * @see jdk.jshell.execution for execution implementation support
   */
  package jdk.jshell.spi;