fix deserialize instance of java.lang.String error#72

adierkens merged 1 commit intointuit:masterintuit/proof:masterfrom

kendallgassner:fixDeserializeErrorkendallgassner/proof:fixDeserializeErrorCopy head branch name to clipboard