set correct servicemix version