Scala annotations