code: @Nullable
    private static String getShortGitId() {
      try {
        InputStream in = JLanguageTool.class.getClassLoader().getResourceAsStream("git.properties");
        if (in != null) {
          Properties props = new Properties();
          props.load(in);
          return props.getProperty("git.commit.id.abbrev");
        }
        return null;
      } catch (IOException e) {
        throw new RuntimeException("Could not get git id from 'git.properties'", e);
      }
    }
docs: Returns the abbreviated git id or {@code null}.