public class HelloAgent extends Agent {
   public HelloAgent() { super("HelloAgent"); }
   public void run() { 
      System.out.println("Hello World!");
      System.out.flush();
   }
}