jspRenderer.highlight(name, input, bos, encoding, true);
ByteArrayInputStream bis = new ByteArrayInputStream(bos.toByteArray());
Tokenizer tokenizer = new Tokenizer(new InputStreamReader(bis, encoding));
tokenizer.addSymbol(new TokenizerSymbol("EOL", "\n", null, false, false, true, false));
tokenizer.addSymbol(new TokenizerSymbol("EOL", "\r\n", null, false, false, true, false));
//
// JHighlight adds HTML comment as the first line, so if
// we number the lines we could end up with a line number and no line
// to avoid that we just ignore the first line alltogether.