needing GWT JSON serialization