prop_init = true; properties = props;
synchronized (System.class) { properties = props; }
  public static void setProperties (Properties props)  {    if (secman != null)      secman.checkPropertiesAccess();    // We might not have initialized yet.    prop_init = true;    properties = props;  }