BTW, в моем случае, когда мне нужно быстрое решение для удаления определенного расширения, это примерно то, что я сделал:
if (filename.endsWith(ext)) return filename.substring(0,filename.length() - ext.length()); else return filename;