/**
  * Returns value of a preference as a String
  *
  * @param key - The name of the preference
  * @return The value of the preference
  */
 public static String getString(String key) {
   if (table.containsKey(key)) {
     return table.getString(key);
   } else {
     System.err.println("Preference not found: " + key);
     set(key, "0");
     return "0";
   }
 }
 /**
  * Returns whether a preference exists
  *
  * @param key - The name of the preference
  * @return The existence of the given preference
  */
 public static boolean contains(String key) {
   return table.containsKey(key);
 }