Some modifications in JsonRestServlet to fully integrate the last merge and benefit
from possible performance improvements due to batching of multiple JSON input objects.