tree: 06bc89a7a6287ef837104b0b6b85442d7925e72d
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs