I think it's pretty cool that the result emerges, as the author points out, not from the implementation details of any particular JVM, but from well-defined par

I think it's pretty cool that the result emerges, as the author points out, not from the implementation details of any particular JVM, but from well-defined parts of the Java specs intersecting in a fully determined way.