tree: 03279eeaeeded46e5c62c3969b0f387c3555d9dc
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs