[TxMt] Update needed to the Java Language Definition