@dragos: Is this correct URL for Scala IDE update site?