tree: 5f1b019035d94a76e6c093ea03f396158c6b11fd
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs