/* code/HelloWorld/HelloWorld.java */
/**
 * Display "Hello, world!" and end the program.
 * @author: Matthew Fluet
 * @author: Ben K Steele
 */
public class HelloWorld {
   /**
    * @param args args are unused
    */
   public static void main( String[] args ) {
       System.out.println( "Hello, world!" );
return; }
} // end class