Serialization question

I think it is annotation, so you would do it like

@Serializable
public class YourGameState {

rather than directly extending it.