Medium: jboss: add jboss_version parameter to support JBoss 6

The usage of JBoss was greatly changed as of JBoss 6, and also
the appropriate default values have to be set for each version of JBoss.
You need to specify the version of JBoss manually
because there is no reliable way to detect the version of JBoss.