Scala : Resource leak