tree: 1825518b685bda0aceba915dc5289cdad819984d
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs