class com.google.common.testing.ClassSanityTesterTest$SetWrapper extends com.google.common.testing.ClassSanityTesterTest$Wrapper
{
public void <init>(java.util.Set)
{
java.util.Set v;
com.google.common.testing.ClassSanityTesterTest$SetWrapper v;
v := @this: com.google.common.testing.ClassSanityTesterTest$SetWrapper;
v := @parameter: java.util.Set;
specialinvoke v.<com.google.common.testing.ClassSanityTesterTest$Wrapper: void <init>(java.lang.Object)>(v);
return;
}
}