ClassRedefinition.ice:12: redefinition of class `Class1'
ClassRedefinition.ice:16: redefinition of class `Class2'