docs: public static String extractPartAfterLastDot(String dottedIdent) {
      int lastDotIndex = dottedIdent.lastIndexOf('.');
      return (lastDotIndex == -1) ? dottedIdent : dottedIdent.substring(lastDotIndex + 1);
    }