protected static void addFileNameToList(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) {
			// if the frameInfoList is too long ...
			if (frameInfoList.size() >= Preferences.getPreferenceInt(Preferences.FRAME_INFO_LIST_SIZE).cur) {
				frameInfoList.remove(0);
			}
			
			// add the file's docInfo to frameInfoList
			frameInfoList.add(docInfo);
		} else {
			// update its doc info
			frameInfoList.set(position, docInfo);
			
			// move that to the top of the list
			StanVectorTools.moveElementToTail(frameInfoList, position);
		}
		
		// sync
		recentFilesList.syncTreeSet();
		recentFilesList.syncMenuItems();
	}