/**
   * Restore all the properties to their initial default. This may not change properties that are
   * currently active or that are read at initialization. These changes will take effect at the next
   * restart.
   */
  public static synchronized void resetDefaultProperties() {
    BoardSetup setup = BoardSetup.getSetup();

    setup.resetProperties();

    for (Map.Entry<String, BoardProperties> ent : loaded_properties.entrySet()) {
      String id = ent.getKey();
      if (id.equals("System")) continue;
      BoardProperties bp = ent.getValue();
      bp.clear();
      bp.loadProperties(id);
    }
  }