/* /nodynamiccopyright/ */ public class HelloWorld { // hard coded linenumbers - DO NOT CHANGE
public static void main(String args[]) {
System.out.println("Hello, world!");
}
}