I guess bug 1 is really because of bug 2 then. As for OS and java version: it was Ubuntu Dapper Drake, and java 1.5.0.6 (not sure about the last number).

I just bought a new laptop, and i will install phex on that to see if it happens again.