public class org.junit.platform.console.options.ConsoleUtils extends java.lang.Object
{
public void <init>()
{
org.junit.platform.console.options.ConsoleUtils v;
v := @this: org.junit.platform.console.options.ConsoleUtils;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public static java.nio.charset.Charset charset()
{
java.nio.charset.Charset v;
v = staticinvoke <java.nio.charset.Charset: java.nio.charset.Charset defaultCharset()>();
return v;
}
}