FIX: ClassManifest errors if files contain duplicate class names (fixes #3210)