Does this need to go into a `<pre>...` block or something like that to render properly in Javadoc?