JSONExample removed, since the JSON serialization code was removed as well