Anonymous - 2012-07-16

patch for JSONSharedString.h