Simplify NativeDeserializer->dumpProperties()