static String extensionOf(String name) { final int dot = name.lastIndexOf("."); return dot <= 0 || dot == name.length - 1 ? "" : name.substring(dot + 1).toLowerCase(); }