[TxMt] Java Pretty Printing/Reformatting