String reduceFilename(String fileName) {
		if (fileName == null)
			return null;
		int ichDot = fileName.indexOf('.');
		if (ichDot > 0)
			fileName = fileName.substring(0, ichDot);
		if (fileName.length() > 24)
			fileName = fileName.substring(0, 20) + " ...";
		return fileName;
	}