Note that same needs to be done on the data sources side. Since the module system now knows the driver name though service loader mechanism and user can define the xa-datasource name, you can ask the JDBC driver what properties it exposes to fully configure the datasource. If those can be slurped automatically for the deployed drivers, it will be very helpful for any tools being built on top in createing the data sources.
Taking a closer look at the https://issues.jboss.org/browse/AS7-1381 it does not specify the description part of the issue. it only describes about the adding/modifying of the properties, not what those properties are. This may require couple different JIRA of its own.
one for exposing the properties in the ra.xml
one for exposing the properties in Driver/Datasource class.