4 ms·

I think you'd be surprised. It's picked up a bit over the last year or two. The jedit-users list is still reasonably active.