Additionnal changes needed to remove sdt.editor from the play plugin

Play plugin PR: scala-ide/scala-ide-play2#225
Do you have a open bug in mind that let the compiler accept a tailrec annotation while it doesn't do the optimization? I don't know one, therefore I consider this as safe.