[eclipse-shelled/f17] (4 commits) ...Merge branch 'master' into f17

[Alexander Kurtakov]

Summary of changes:

  db2af8f... work in progress - update to shelled snapshot. (*)
  b08ac6b... Correct version of eclipse-platform requirement. (*)
  47e5665... Update to new upstream snapshot. (*)
  8599c95... Merge branch 'master' into f17

(*) This commit already existed in another branch; no separate mail sent