/** * Returns null if no extension is specified. */ static String getDefaultExtension() { List extensions = getExtensions(); if (extensions == null) { return null; } else { return (String) extensions.get(0); } }
String dropExtension(String name) { List extensions = getExtensions(); if (extensions == null) { return name; } Iterator it = extensions.iterator(); while (it.hasNext()) { String extension = "." + (String) it.next(); if ( name.endsWith(extension)) { name = name.substring(0, name.length() - extension.length()); return name; } } return null; }