// WARNING: file "Hello.java" generated from "Hello.tj"
//          Changes should be applied on the source file.

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

// WARNING: file "Hello.java" generated from "Hello.tj"
//          Changes should be applied on the source file.