*** 42,51 **** --- 42,52 ---- * @see EventRequestManager * * @author Robert Field * @since 1.3 */ + @jdk.Supported public interface ThreadDeathRequest extends EventRequest { /** * Restricts the events generated by this request to those in * the given thread.