I've started on AGPUSH-242, which is about adding configuration options to the SimplePush Server WildFly subsystem. I've created the following gist with a suggestion:
https://gist.github.com/danbev/6294945

I'm still working on the config and not begun implementing yet.  
Any comments or suggestions are welcome either here or as comments on the gist itself. 

Thanks,

/Dan