public void ensureFileIsVisible(File file) {  }
public void ensureFileIsVisible(File f) { getUI().ensureFileIsVisible(this, f); }
	public void ensureFileIsVisible(File file) {		// TODO	} // ensureFileIsVisible()