code: public void setTransactionRegistry(org.jboss.tm.usertx.UserTransactionRegistry v)
     {
        ((org.jboss.tm.usertx.UserTransactionProvider)utp).setTransactionRegistry(v);
     }
docs: Set the user transaction registry
  @param v The value