The well-known "hello, world" example

The following listing will be changed by the Example1 class. While it's a simple <pre> tag in the original file, it looks like a nicely formatted paper listing containing line numbers and colored backgroud in the resulting file.

This is what the original listings looks like:

public class Hello
{
  public static void main(String args[])
  {
    System.out.println("Hello, world");
  }
}

And here's the result after the conversion:

001 public class Hello
002 {
003   public static void main(String args[])
004   {
005     System.out.println("Hello, world");
006   }
007 }