Use Karaf 4 for the Karaf distribution