public static String toAppName(String fileName) {
public String toAppName(String fileName) { if (appName != null) return appName;
	public static String toAppName(String fileName) {		// Remove file extension, if any		int lastDot = fileName.lastIndexOf('.');		if (lastDot >= 0)			fileName = fileName.substring(0, lastDot);		return fileName;	}