/* 70 */ provider = "http:" + provider.substring(9);
/* 71 */ else if (provider.startsWith("jnp-https:") == true) {
/* 72 */ provider = "https:" + provider.substring(10);
/* */ }
/* 74 */ URL providerURL = null;
/* 75 */ Naming namingServer = null;
/* */ try
/* */ {
/* 78 */ providerURL = new URL(provider);
/* */
/* 80 */ namingServer = getNamingServer(providerURL);