ClassRedefinition.ice:10: redefinition of class `Class1'
ClassRedefinition.ice:14: redefinition of class `Class2'