String name = file.getPath();  return new File(name + oldExt).exists() || new File(name + newExt).exists();
return file.exists();
	public static boolean exists(File file) {		if (file.exists()) /* quick test */		{			return true;		}		String name = file.getPath();		return new File(name + oldExt).exists() || new File(name + newExt).exists();	}