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