jbossas/jboss-as — pull request #1173 by anilsaldhana (2012-01-20 16:45:46+00:00)
Title: AS7-3102:  use vault options

Minor issue. Use vault-options rather than vault-option.