Scala Installations support stage II : choose your own installation

This is here to help advance review for the [second phase](https://docs.google.com/a/typesafe.com/document/d/10YvZQaPGdRepMwEaMTMU_-Ij-_y3Gg8ui2Usgv1tIsk/edit?usp=sharing) of the Scala Installations support 

The basic functionality is here, meaning you can choose a scala installation instead of a source level, and add your own scala installation as *just a bunch of jars*. A few missing items that will be added quickly:
- [x] ~~Directory installation tests (@skyluc)~~
- [x] ~~Scala Installation switches tests (@huitseeker)~~
- [x] ~~Classpath Container edition window should set the initially selected container to the current one~~
- [x] ~~Classpath Container edition should prohibit edition and redirect to compiler settings if both compiler and library containers are on classpath~~
- [x] ~~in Compiler Settings, Scala Installation combo field selection should update the Apply button and the dirtiness.~~
- [x] ~~A project with differently-versioned libraries ("cross-compiled" case of the classpath check, e.g. sbteclipse) should offer a Scala installation preference change.~~
- [x] ~~A project with the wrong scala-library ("previous version" case of the classpath check, currently suggesting `-Xsource`) should offer a Scala installation preference change~~
- [x] ~~Detection of a no-longer-valid scala installation (currently falling back to desired source level or platform) should offer a Scala Installation preference change.~~
- [x] ~~Change the "Installed Scalas" name on the workspace-wide install page to smoething else~~
- [x] ~~Adapt w.r.t  https://github.com/scala-ide/scala-ide/pull/733~~


http://i.imgur.com/IJB5mAh.jpg


On Wed, Jul 9, 2014 at 12:48 PM, Mirko Stocker <notifications@github.com>
wrote:

> In org.scala-ide.sdt.core/plugin.xml:
>
> > @@ -119,7 +119,7 @@
> >              category="org.scalaide.ui.preferences"
> >              class="org.scalaide.ui.internal.preferences.InstalledScalasPreferencePage"
> >              id="org.scalaide.ui.preferences.scalas"
> > -            name="Installed Scalas">
> > +            name="Installallations">
>
> Install_all_ations? :-)
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/scala-ide/scala-ide/pull/731/files#r14703456>.
>



-- 
François Garillot