Formatting changes for JNI specification: The JNI and JVMTI specifications use different formatting conventions:

In the JNI specification, the first time "statically linked" appears, it should be italicized because it's a new term. After that, then it's not italicized. In the JNI spec, it's not italicized at all, so I could italicize the first time it appears.

For the JVMTI, it uses a formatting style different from the JNI spec. For example, in the JVMTI spec, function names such as JNI_OnLoad are not in monospace; they are in a regular typeface.

Slso remove the extra line between these two sentences since they are closely related:

A native library may be statically linked with the VM. The manner in which the library and VM image are combined is implementation dependent.

A System.loadLibrary or equivalent API must succeed for this library to be considered loaded.