Bring the dev docs up to date.

Could you try scala-ide/scala-ide#842?