tree: 3f9bfd2ebd2c1236a01a7c77da0eb1ca6d40c409
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.launching.prefs