/**
   * Puts a string array into the Preferences, by linking its elements with ';' into a single
   * string. Escape characters make the process transparent even if strings contain ';'.
   */
  public void putStringArray(String key, String[] value) {
    if (value == null) {
      remove(key);
      return;
    }

    if (value.length > 0) {
      StringBuffer linked = new StringBuffer();
      for (int i = 0; i < value.length - 1; i++) {
        linked.append(makeEscape(value[i]));
        linked.append(";");
      }
      linked.append(makeEscape(value[value.length - 1]));
      put(key, linked.toString());
    } else {
      put(key, "");
    }
  }
 /**
  * Removes all entries keyed by prefix+number, where number is equal to or higher than the given
  * number.
  *
  * @param number or higher.
  */
 public void purgeSeries(String prefix, int number) {
   while (get(prefix + number) != null) {
     remove(prefix + number);
     number++;
   }
 }