Community
Participate
Working Groups
Version: 4.2.0 Build id: I20120223-2200 The title says it all...
Pushed fix to: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=9894a8ddc5d0525e34cc266ce59f14ad5887fb81