I believe the ticket number is wrong. Shouldn't it be [#1001616](https://scala-ide-portfolio.assembla.com/spaces/scala-ide/tickets/1001616#/activity/ticket:)?