Red Hat buys Amentra to bolster JBoss enterprise plan