public function paintFormattedMessage($message) { print '<pre>' . $this->htmlEntities($message) . '</pre>'; }