eclipse/pdt — pull request #19 by zulus (2013-10-20 10:42:29+00:00)
Title: Bug 417904

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

Option 1