get the war file name in jboss

How can I get the开发者_运维问答 deployed war file name inside jboss. For example, when I am inside a servlet and I want to know the which war file name that I am in.

Thanks,

Son Nguyen

String warName = new File(getServletContext().getRealPath("/")).getName();