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