Added the @Frozen annotation.