tree: 9ef8b9e85d6427598c3882e673152b5d690245df
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs