tree: 1a5a6ef92284dc5b042771aa0f105aec135e99dd
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs