Installing the AeroGear Netty and SimplePush modules to usr/modules instead of the system level (/etc/alternatives/jbossas-7/modules).