ProcessingMessage: printf() message should also show up in JSON

And not only on .getMessage(). Fix, test.