Javadoc: {@code...} instead of ?

[Michael Dürig]

Hi,
What do people feel about using {@code null} instead of 
<code>null</code> in javadoc? Personally I prefer the second one since 
it is lighter on the eye but don't have a strong opinion. I think 
however we should use all the same format.

Michael