JBossAS*7*ExtendedProperties uses AS_VERSION_*710*?