Thanks for Jansi, it saved the day. I've released a plugin for
colorizing ANSI output in Jenkins,
http://code.dblock.org/the-jenkins-ansicolor-plugin-youve-all-been-waiting-for
- it's basically Jansi wrapped up in a Jenkins plugin and a stream to
output HTML.
Would appreciate any suggestions/improvements of how to better convert
ANSI -> HTML. Maybe this or better code can make it into Jansi proper?