scala-tools repository is dead. use sonatype
Merge pull request #1688 from xuwei-k/scala-tools-dead

scala-tools repository is dead. use sonatype