public class org.glassfish.web.deployment.runtime.ManagerProperties extends org.glassfish.web.deployment.runtime.WebPropertyContainer
{
public void <init>()
{
org.glassfish.web.deployment.runtime.ManagerProperties v;
v := @this: org.glassfish.web.deployment.runtime.ManagerProperties;
specialinvoke v.<org.glassfish.web.deployment.runtime.WebPropertyContainer: void <init>()>();
return;
}
}