The bit about Jazelle is particularly weird, given that it's deprecated (though not deprecated enough for Raspi to support its successor) and of fairly niche interest: only to a subset of Java developers (Android doesn't use Jazelle).