2 ms·

Yes, if I don't get any good options in Java then I would go with either codemirror (used in the dev console in many browsers) or highlight.js