joergviola 72418fa47c Plugin Utility Bundle		2010-03-12 18:15:16 +00:00
..
org.eclipse.jdt.core.prefs	…
org.eclipse.pde.core.prefs	…