public static String getExtension(InputFile inputFile) {
    return getExtension(inputFile.filename());
  }
@Test
  public void test_empty_extension() {
    assertThat(getExtension("prog")).isEmpty();
    assertThat(getExtension("prog.")).isEmpty();
    assertThat(getExtension(".")).isEmpty();
  }