if (properties == null) init_properties ();
  public static String setProperty (String key, String value)  {    if (secman != null)      secman.checkPermission (new PropertyPermission (key, "write"));    return (String) properties.setProperty (key, value);  }