Back to the pants.ini stuff - we have a java platform specified in it but not one for scala platform. It looks like it takes it from the contents of BUILD.tools - is that right?