init_properties ();
if (properties == null) init_properties ();
  public static Properties getProperties ()  {    if (secman != null)      secman.checkPropertiesAccess();    init_properties ();    return properties;  }