diff -r 000000000000 -r 6474c204b198 addon-sdk/source/python-lib/cuddlefish/options_defaults.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/addon-sdk/source/python-lib/cuddlefish/options_defaults.py	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,26 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
+def parse_options_defaults(options, preferencesBranch):
+    # this returns a unicode string
+    pref_list = []
+
+    for pref in options:
+        if ('value' in pref):
+            value = pref["value"]
+
+            if isinstance(value, float):
+                continue
+            elif isinstance(value, bool):
+                value = str(pref["value"]).lower()
+            elif isinstance(value, str): # presumably ASCII
+                value = "\"" + unicode(pref["value"]) + "\""
+            elif isinstance(value, unicode):
+                value = "\"" + pref["value"] + "\""
+            else:
+                value = str(pref["value"])
+
+            pref_list.append("pref(\"extensions." + preferencesBranch + "." + pref["name"] + "\", " + value + ");")
+
+    return "\n".join(pref_list) + "\n"