Accidentally removed JSONTokener, idk if you guys still needed this so here it is again