public class HelloDoc {

  /** der Text, der gedruckt werden soll.
  */
  public String messageText = "Hello World!";

  /** druckt den Text messageText auf System.out aus.
  *   @see #messageText
  */
  public void printText() {
    System.out.println (messageText);
  }
  
}