#2237: Output karaf version we use now.