Added the @Deterministic annotation.