tree: 034469fe61f02a632c17998ef8144f206acfe0f8
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs