tree: 58ced925cbb4256f4f996ff183fe09ad8c3a47fa
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs