Hrmph. I just retested this and it appears to work fine.

I think I got mixed up due to the fact that Hibernate has an idiosyncratic requirement to put @MappedSuperclass on PostalCode.

So we can close this; sorry for the noise.