public class org.glassfish.resources.naming.ExternalNameNotFoundException extends javax.naming.NameNotFoundException
{
public void <init>(javax.naming.NameNotFoundException)
{
org.glassfish.resources.naming.ExternalNameNotFoundException v;
java.lang.String v;
javax.naming.NameNotFoundException v;
v := @this: org.glassfish.resources.naming.ExternalNameNotFoundException;
v := @parameter: javax.naming.NameNotFoundException;
v = virtualinvoke v.<javax.naming.NameNotFoundException: java.lang.String getMessage()>();
specialinvoke v.<javax.naming.NameNotFoundException: void <init>(java.lang.String)>(v);
virtualinvoke v.<org.glassfish.resources.naming.ExternalNameNotFoundException: void setRootCause(java.lang.Throwable)>(v);
return;
}
}