Hi Katrin,
you should open a 'normal' question thread for this instead of such documentation one.
Also you should provide your changes to JMS because TIBCOMDBProvider is not a JBoss resource.