Mesmo problema para mim: https://dba.stackexchange.com/questions/19453/jboss-dont-fail-over-mysql-slave-using-datasource .
Deve funcionar corretamente... mas não sei como...
Parece que muitas pessoas usam alguns proxies externos ou balanceadores de carga: