David Holmes wrote: > But if the JVM acts upon annotations to change how it executes those > bytecodes then, as Peter said, the JVM is implementing the language > semantics.
The JVM synthesizes a native method, this has *nothing* to do with language semantics. From the language point of view, native method implementations magically appear. This is just another instance of that. Regards, Jeroen