JavaDoc Errors default highlight 3378

It's always been that way. It's just @return highlighting broken so you noticed
that.
-

Maxim Shafirov
http://www.jetbrains.com
"Develop with pleasure!"

Hi.

It appears that the default hilight for JavaDoc errors in 3378 is as
error state.

Is that intentional? Do others think it should be warning by default?

Amnon

indeed very interesting and forced me to fix some java doc errors :D

If I do this:

• @return <code>true</code> if busy, otherwise <code>false</code>.

...then an error is flagged in 3378 at the end of @return (under the space character immediately following "n"). Adding any other character before ]]> fixes that.