A thrift HTTP JSON completion server based on servlets