You missed an option:
c) Run a second AWS instance with JBoss AS and load-balance between the two.
I would pick "c" if using any kind of vitualization, it is the option that allows for greater scalability (you can add a 3rd or 4th instance using the same technique).