tree: 3bf6c082f6925ec37d9fae04912c807bd7f86e61
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs