{
  "reddit_user": "<your reddit username>",
  "reddit_pass":  "<your reddit password>",
  "ideone_user": "<your ideone username>",
  "ideone_pass": "<your ideone password>",
  "admin_user": "<optional reddit username for receiving admin alerts>"
  "user_agent": "Code compilation bot tester /u/<your reddit username>"
}

{
  "reddit_user": "<your reddit username>",
  "reddit_pass":  "<your reddit password>",
  "ideone_user": "<your ideone username>",
  "ideone_pass": "<your ideone password>",
  "admin_user": "" //optional reddit username for receiving admin alerts
  "user_agent": "Code compilation bot tester /u/<your reddit username>"
}

Remove default admin user in settings
Remove default admin user in settings
