ClassRedefinition.ice:18: redefinition of class `Class1'
ClassRedefinition.ice:22: redefinition of class `Class2'