j2k/testData/fileOrElement/issues/kt-871.java

//file
package demo;

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