I don't think that this is new (other than 1.7 being the default now) unless they are using something other than alternatives: https://access.redhat.com/site/documentation/en-US/JBoss_Ent...
What I recall from a while ago is finding systems with just openjdk and having to install the 'official' version manually. That could have been Fedora though.