Support new redundant-manager#2 and modify copyright