tree: b50dfd9f8226b47df477624a863208634767a298
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.launching.prefs