generated Java messages now implement Serializable