// Hello.java

public class Hello
{
  public static String world()
  {
    return "Hello world";
  }
}