Redhat is no longer a down stream provider, they own JBoss
They sued downstream providers such as Dell.