JavaDoc: multiline code examples are mangled