tree: 6f36575dcc0fec967cdbba48222a488b0843b707
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs