I haven't tried TPTP so I'm not sure if there is something our adapters need to to
do for TPTP to work properly ?
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4144744#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...