EnumRedefinition.ice:16: redefinition of enumeration `E1' as enumeration