Use json4s to handle the `case object` events correctly.
latest workspace.xml
Add 'disconnect' menu, and fix the reconnect problem