we use port 9999 for the JSON API now.
  Added utilty.