inferno/code-snippets/main_function.java

/* main_function.java */

class HelloWorld {
  public static void main(String[] args) {
    System.out.print("Hello, World!\n");
  }
}