/**
     * @throws ExecutionControl.UserException {@inheritDoc}
     * @throws ExecutionControl.ResolutionException {@inheritDoc}
     * @throws ExecutionControl.StoppedException {@inheritDoc}
     * @throws ExecutionControl.EngineTerminationException {@inheritDoc}
     * @throws ExecutionControl.NotImplementedException {@inheritDoc}
     */
    // Overridden only so this stack frame is seen
    @Override
    protected String invoke(Method doitMethod) throws Exception {
        return super.invoke(doitMethod);
    }

The above list of @throws tags was erroneously added in JDK-8294377. That part of JDK-8294377 needs to be reverted.

Documentation for jdk.jshell.execution.DirectExecutionControl#invoke(java.lang.reflect.Method) does not document any of the above exceptions.