nj2k/testData/newJ2k/issues/kt-871.java

//file
package demo;

class Program {
  public static void main(String[] args) {
    System.out.println("Halo!");
  }
}