in src/main/java/org/apache/tomcat/jakartaee/Util.java [38:45]
public static String getExtension(String filename) {
// Extract the extension
int lastPeriod = filename.lastIndexOf('.');
if (lastPeriod == -1) {
return "";
}
return filename.substring(lastPeriod + 1).toLowerCase(Locale.ENGLISH);
}