public String toString() {
		if (view == null)
			return super.toString();
		String s = view.getResourceAddress();
		if (s == null)
			return super.toString();
		return FileUtilities.getFileName(s);
	}