lucio 47f22985a0 returning to java8		2024-02-23 12:34:09 +01:00
..
org.eclipse.core.resources.prefs	porting to smartgears 4	2022-06-10 17:10:26 +02:00
org.eclipse.jdt.core.prefs	returning to java8	2024-02-23 12:34:09 +01:00