Re: new Javadoc 5 tags

[Adrian A.]

Javadoc 5 introduced the {...@code} [1] tag which does not interpret HTML 
tags. Thus theres no need for escaping HTML entities. We can change code 
form this:

<pre class="prettyprint">
 &lt;context-param&gt;
   &lt;param-name&gt;config-service-class&lt;/param-name&gt;
   &lt;param-value&gt;com.corp.CustomConfigSerivce&lt;/param-value&gt;
 &lt;/context-param&gt;
</pre>
to this:

<pre class="prettyprint">
{...@code
 <context-param>
   <param-name>config-service-class</param-name>
   <param-value>com.corp.CustomConfigSerivce</param-value>
 </context-param>
}
</pre>
Should we change the javadocs to this new syntax before or after the 2.1 
final release?

Adrian.