If JavaDoc comments are necessary for documentation but unnecessary for reading / editing the code, then perhaps the editor should deemphasize JavaDoc comments and emphasize normal comments.

I think the same should be true of type annotations. They are important to the compiler and as documentation, but should be deemphasized relative to the actual logic.