On Mar 10, 2012, at 12:55 PM, // ravi wrote:
> I had pointed this out privately to Shag a few days ago. I don’t think it’s any Java thing (you might have killed some random innocent process via Activity Monitor :-)).
It had a very similar name, though - something .nu.