DRAFT: Work on tx manager support for jvstm-common