Test for #130: Case classes with default parameters aren't deserialized properly