Red Hat to change JBoss name for community version