Documentation of clean & restart in karaf