Fix caching of Scala IDE.