public static void removeFileNameFromList(DocumentInfo docInfo) {
		
		// check to see if this file is in frameInfoList 
		int position = NOT_THERE;
		String filename = PropertyContainerUtil.getPropertyAsString(docInfo, DocumentInfo.KEY_PATH);
		
		for (int i = 0, limit = frameInfoList.size(); i < limit; i++) {
			if (PropertyContainerUtil.propertyEqualsAsString(((DocumentInfo) frameInfoList.get(i)), DocumentInfo.KEY_PATH, filename)) {
				position = i;
			}
		}
		
		// if it's not in frameInfoList ...
		if (position == NOT_THERE) {
			return;
		}
		
		// move it to the tail of the list
		StanVectorTools.moveElementToTail(frameInfoList, position);
		
		// cut off the tail
		frameInfoList.setSize(frameInfoList.size() - 1);
		
		// sync 
		recentFilesList.syncTreeSet();
		recentFilesList.syncMenuItems();
	}