public class org.glassfish.resources.config.ExternalJndiResource$Duck extends java.lang.Object
{
public void <init>()
{
org.glassfish.resources.config.ExternalJndiResource$Duck v;
v := @this: org.glassfish.resources.config.ExternalJndiResource$Duck;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public static java.lang.String getIdentity(org.glassfish.resources.config.ExternalJndiResource)
{
org.glassfish.resources.config.ExternalJndiResource v;
java.lang.String v;
v := @parameter: org.glassfish.resources.config.ExternalJndiResource;
v = interfaceinvoke v.<org.glassfish.resources.config.ExternalJndiResource: java.lang.String getJndiName()>();
return v;
}
}