s441433 420e79c7f1 Create org.eclipse.jdt.ui.prefs		2019-01-06 17:06:05 +01:00
..
org.eclipse.core.resources/.root	Create 1.tree	2019-01-06 17:05:59 +01:00
org.eclipse.core.runtime/.settings	Create org.eclipse.jdt.ui.prefs	2019-01-06 17:06:05 +01:00