The java editor seems very slow in #3273, even on small classes.
It even has that good old 'memory' effect: keep a key pressed for a
while and release it, and the editor will keep doing things for almost
half a second.
Is it just me or are other people seeing this?