tree: 995dfb1d3bee584ddefb28f02377788f583d0399
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.launching.prefs