public class HelloWorld /* HelloWorld*/ {
  @null()
  public  HelloWorld(@null() java.lang.String[]);//  .ctor(java.lang.String[])

  public static final void main(@null() java.lang.String[]);//  main(java.lang.String[])

}