public void changeFileName(int docNum, String newDocName){
	    System.out.println("triggered changefilename");
	    String oldDocName = null;
	    List <String> docNames = new ArrayList<String>();
	    for (String docName:filenameToDocNum.keySet()){
	        docNames.add(docName);
	    }
	    for (String docName :docNames){
	        if (filenameToDocNum.get(docName) == docNum){
	            oldDocName = docName;
	        }
	    }
	    filenameToDocNum.remove(oldDocName);
	    filenameToDocNum.put(newDocName,docNum);
	    System.out.println("oldfilename is "+oldDocName);
	    
	    int position = -1;
	    for (int i = 0; i < fileList.getItemCount(); i++) {
            if (fileList.getItemAt(i).toString().equals(oldDocName)) {
                position = i;
                System.out.println("position found");
                break;
            }

        }
	    fileList.insertItemAt(makeObj(newDocName),position);
	    fileList.removeItemAt(position+1);
        System.out.println("removed old item from filelist");
        
	    
	}