tree: 941e8f459e17c026ddef2f489117c7455531f426
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs