Work around JSF 1.1's inadequate Messages renderer, which has the following problems:
- Contrary to the documentation, an HTML list is not used to render a list.
The standard JSF NumberConverter handles output formatting of double
numbers nicely by printing them as an integer if there's nothing past
the decimal point.