lucio ea30e79309 deprecated for future removal		2024-04-05 11:37:07 +02:00
..
org.eclipse.core.resources.prefs	porting to smartgears 4	2022-06-10 17:09:42 +02:00
org.eclipse.jdt.core.prefs	deprecated for future removal	2024-04-05 11:37:07 +02:00