catch (Exception ignored) {}
catch (Exception e) {  }
  static Policy getCurrentPolicy()  {    // FIXME: The class name of the Policy provider should really be sourced    // from the "java.security" configuration file. For now, just hard-code    // a stub implementation.    if (currentPolicy == null)      {        String pp = System.getProperty ("policy.provider");        if (pp != null)          try            {              currentPolicy = (Policy) Class.forName(pp).newInstance();            }          catch (Exception ignored) {}        if (currentPolicy == null)          currentPolicy = new gnu.java.security.provider.DefaultPolicy();      }    return currentPolicy;  }