Koen - 2014-01-06

I may have a clue about what is going on: since my computer is rather old and thus slow, I think by continuously pressing backspace, particularly when passing line-endings, generates a lot of syntax highlighting requests and at a certain point the syntax highlighting results of a longer file are applied to a file that is already shorter. Hence the ArrayIndexOutOfBoundsException