Fixes to the single-bundle distro. Changed version number of Distribution Provider interface from 4.2 to 1.0