Update #72: replace JsonSimple by Gson for Json operations. New privilege Json format is intercompatible with old Json format. Upgrade will not disconnect all clients.