scala 2.10 and set 0.13