public static void setProperty(String key, String datnum)
public static void setProperty(String key, String datum)
  public static void setProperty(String key, String datnum)  {        SecurityManager sm = System.getSecurityManager();    if (sm != null)      sm.checkSecurityAccess("setProperty." + key);        secprops.put(key, datnum);    }