public class org.junit.platform.console.shadow.picocli.CommandLine$DuplicateNameException extends org.junit.platform.console.shadow.picocli.CommandLine$InitializationException
{
private static final long serialVersionUID;
public void <init>(java.lang.String)
{
org.junit.platform.console.shadow.picocli.CommandLine$DuplicateNameException v;
java.lang.String v;
v := @this: org.junit.platform.console.shadow.picocli.CommandLine$DuplicateNameException;
v := @parameter: java.lang.String;
specialinvoke v.<org.junit.platform.console.shadow.picocli.CommandLine$InitializationException: void <init>(java.lang.String)>(v);
return;
}
}