11.1.3: Thread.stop no longer causes an asynchronous exception

Thread.stop is changed for Java 20 to throw UnsupportedOperationException unconditionally. ThreadGroup.stop was changed to throw UOE in Java 19. Combined, it means there is no longer any user facing API to "stop" a Thread.

JLS 11.1.3 (and JVMS 2.10) will require the description of asynchronous exceptions to be updated.