ClassRedefinition.ice:17: redefinition of class `Class1'
ClassRedefinition.ice:21: redefinition of class `Class2'