Joachim: remember to test the alpha/betas before next release. This bug might have been release critical, but less serious after release. I probably did not see it because not testing work stuff on the beta or using a newer Eclipse than included.
Joachim: remember to test the alpha/betas before next release. This bug might have been release critical, but less serious after release. I probably did not see it because not testing work stuff on the beta or using a newer Eclipse than included.