protected function prettifyComment($comment)
    {
        if (empty($comment) === true) {
            return '';
        }

        // We split our comment into single lines and remove the unwanted
        // comment chars with the array_map callback.
        // We skip lines with /** and */
        $result = array();
        foreach (array_slice(explode("\n", $comment), 1, -1) as $commentLine) {
            // Remove comment-chars and trim the whitespace.
            $result[] = trim($commentLine, "* \t\n\r\0\x0B");
        }

        // Sadly, we must not escape this here, or glue it with <br /> for a
        // direct display. The thing is, we may resolve several @inheritdoc
        // marks. The escaping and nlbr() will be done when everything is
        // stitched together.
        return implode(PHP_EOL, $result);
    }