lucio d92b8d6b56 moved to jakarta		2024-03-12 17:27:07 +01:00
..
org.eclipse.core.resources.prefs	porting to smartgears 4	2022-06-10 17:11:00 +02:00
org.eclipse.jdt.core.prefs	moved to jakarta	2024-03-12 17:27:07 +01:00