tree: b050db3306921bc371790caab6867385f2c824d8
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs