tree: 86c48b5caf55d5d3e5558c4396a703c6529030df
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.api.tools.prefs