Fixed the checkFieldNames: no ArrayOutOfBounds exception thrown when constructors have fields with the same name and different types.
Fixed the checkFieldNames: no ArrayOutOfBounds exception thrown when
constructors have fields with the same name and different types.
cwi-swat/pdb.values,usethesource/rascal-value,cwi-swat/pdb.values