init_properties ();
if (properties == null) init_properties ();
  public static String getProperty (String property)  {    if (secman != null)      secman.checkPropertyAccess(property);    init_properties ();    return properties.getProperty(property);  }