void () { if (!myDelayedMessages.isEmpty()) { final AntMessage[] messages = myDelayedMessages.toArray(new AntMessage[0]); myDelayedMessages.clear(); myTreeView.addMessages(messages); myPlainTextView.addMessages(messages); } }