code: public static String extractPartAfterLastDot(String dottedIdent) {
      int lastDotIndex = dottedIdent.lastIndexOf('.');
      return (lastDotIndex == -1) ? dottedIdent : dottedIdent.substring(lastDotIndex + 1);
    }
docs: Gets the part after the last dot in a dotted identifier. If there are no dots, returns the
  whole input string.
  
  <p>Important: The input must be a dotted identifier. This is not checked.