#TXM messages generated by the PluginMessagesManager class
#Tue Dec 18 10:24:08 CET 2018