tree: 74de2da327b8835f50925affecdc9f3c762c2edd
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs