provide polyml-5.4.1 as regular component;
discontinued old-style choosefrom settings with hardwired defaults;
#main components for everyday use, without big impact on overall build timecvc3-2.4.1e-1.5jdk-7u6jedit_build-20120813kodkodi-1.2.16polyml-5.4.1scala-2.9.2spass-3.8dsz3-4.0