Fix serialization error in GWT