public String getExtension(File file)
{
  String fileName = file.getName();
  int index = fileName.lastIndexOf('.');
  if (index!=-1)
  {
    return fileName.substring(index + 1, fileName.length());
  }
  return "";
}