use Import-Package for Scala dependencies instead of org.scala-ide.scala.library bundle dependency
unused dependency
use Maven Scala libraries for OSGI builds instead of Scala-IDE ones;
scala-actors and scala-reflect are standalone libraries now;
package Maven Scala libraries in the feature: more modularity vs the Scala-IDE library, use the same libraries that are used for building Isabelle/Eclipse
Merge branch 'dependencies-cleanup' into isabelle2013