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