Patch Set 2: I would prefer that you didn't submit this

The makes my eclipse run at 20-30 % cpu constantly. I think most of
the cost is in readRefs().

What we could do is to make it react quicker when Eclipse becomes active.