Este trecho de código simples irá gerar html de melhor aparência para <pre>
elementos com trechos de XML neles. Pode ser sujo, mas é simples e eficaz.
public final String highlight(String source)
{
source = source.replaceAll("<([^>/]*)/>", "<~blue~$1~/~/>");
source = source.replaceAll("<([^>]*)>", "<~blue~$1~/~>");
source = source.replaceAll("([\w]+)="([^""]*)""""