Background: renamed CHERI sections
Background: fixed a type on JVM diagram caption