tree: 5ee5f464f2df4606a74dd445180b3082d04b1128
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs