if (file.exists())  { return true;
String prefix = file.getName() + '.'; File parent = new File(file.getParent()); int prefixLen = prefix.length(); String[] files = parent.list(); if (files == null) return false; for (int i = 0; i < files.length; i++) { if (files[i].startsWith(prefix)) { try { Integer.parseInt(files[i].substring(prefixLen)); return true; } catch (NumberFormatException e) { } }
	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();	}