The instructions are only in case that you want it as default.
you dont need to make it default in order to use it.
just follow until step -3 and change the name of the data source in the data source file
to MySqlDs
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4051072#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...