scala-tools repository is dead. use sonatype