Added @InitialState annotation.