Needs to be a `<pre>` block so it doesn't get clobbered in javadoc.