Я предоставляю дизайн для нового проекта и пытаюсь понять, какой поставщик JMS использовать. Есть ли разница между Red Hat AMQ и Apache ActiveMQ?