int dot = name.lastIndexOf('.');
int dot = (name.endsWith(".fb") ? name.length()-3 : -1);
	public String toString() {		String name = projectFileName;		int lastSep = name.lastIndexOf(File.separatorChar);		if (lastSep >= 0)			name = name.substring(lastSep + 1);		int dot = name.lastIndexOf('.');		if (dot >= 0)			name = name.substring(0, dot);		return name;	}