Use Karaf 4 for the distribution