Update Dev-Contract5.el