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