eclipse/planeteclipse.org — pull request #1 by lemmy (2013-12-11 19:43:19+00:00)
Title: Combined fix for both bugs

https://bugs.eclipse.org/bugs/show_bug.cgi?id=423856
https://bugs.eclipse.org/bugs/show_bug.cgi?id=422856