multiple usages of @TypeDef with the same name is already recognized