Fix problem in Jenkins bootstrap script after recent changes to scripts
Fix problem in Jenkins bootstrap script after recent changes to scripts

martijnhoekstra/scala,scala/scala,martijnhoekstra/scala,lrytz/scala,lrytz/scala,scala/scala,scala/scala,martijnhoekstra/scala,lrytz/scala,scala/scala,lrytz/scala,lrytz/scala,martijnhoekstra/scala,martijnhoekstra/scala,scala/scala,scala/scala,lrytz/scala,martijnhoekstra/scala